diff -r 4b93fc861cfa -r 3155cee13c49 Admin/Cygwin/Cygwin-Terminal.bat
--- a/Admin/Cygwin/Cygwin-Terminal.bat	Thu Jul 05 17:31:13 2012 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,9 +0,0 @@
-@echo off
-
-set HOME=%HOMEDRIVE%%HOMEPATH%
-set PATH=%CD%\bin;%PATH%
-set CHERE_INVOKING=true
-
-echo This is the GNU Bash interpreter of Cygwin.
-echo Use command "isabelle" to invoke Isabelle tools.
-"%CD%\contrib\cygwin-1.7.9\bin\bash" --login -i