Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] git integration

view this post on Zulip Email Gateway (Aug 22 2022 at 10:47):

From: Buday Gergely <gbuday@karolyrobert.hu>
Hi,

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

Of course if there's a demand for it. Does anyone support this request?

view this post on Zulip Email Gateway (Aug 22 2022 at 10:48):

From: Makarius <makarius@sketis.net>
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

Last updated: Nov 21 2024 at 12:39 UTC