Admin/Windows/Cygwin/Cygwin-Terminal.bat
changeset 50831 7784cc660580
parent 50810 76967aa4fe84
child 58640 37f852399a32
--- a/Admin/Windows/Cygwin/Cygwin-Terminal.bat	Fri Jan 11 08:17:47 2013 +0100
+++ b/Admin/Windows/Cygwin/Cygwin-Terminal.bat	Fri Jan 11 13:23:51 2013 +0100
@@ -6,4 +6,4 @@
 
 echo This is the GNU Bash interpreter of Cygwin.
 echo Use command "isabelle" to invoke Isabelle tools.
-"%CD%\cygwin\bin\bash" --login -i
+"%CD%\contrib\cygwin\bin\bash" --login -i