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.