Re: [isabelle] git integration

On Mon, 6 Jul 2015, Buday Gergely wrote:

the bundled cygwin-terminal on Windows does not have git. Would it be possible to include that in the distribution?

The Terminal is just a window on the underlying Cygwin installation, and it is optimized for minimality. You can augment that as mentioned on by using the included setup tool.


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.