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 http://isabelle.in.tum.de/installation.html by using the included setup tool.


	Makarius




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