changeset 48204 | 3155cee13c49 |
parent 48203 | 4b93fc861cfa |
parent 48198 | 4cae75fa29f2 |
child 48205 | 09c2a3d9aa22 |
--- 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