Admin/Windows/Cygwin/Cygwin-Terminal.bat
changeset 50810 76967aa4fe84
parent 48197 b13dd10ebc77
child 50831 7784cc660580
--- a/Admin/Windows/Cygwin/Cygwin-Terminal.bat	Thu Jan 10 20:23:16 2013 +0100
+++ b/Admin/Windows/Cygwin/Cygwin-Terminal.bat	Thu Jan 10 20:41:52 2013 +0100
@@ -6,4 +6,4 @@
 
 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
+"%CD%\cygwin\bin\bash" --login -i