changeset 47735 | 5c158c6fe98c |
parent 47721 | 77d9881bc820 |
47734:67d2dca553ed | 47735:5c158c6fe98c |
---|---|
1 @echo off |
1 @echo off |
2 |
2 |
3 set HOME=%HOMEDRIVE%%HOMEPATH% |
3 set HOME=%HOMEDRIVE%%HOMEPATH% |
4 set PATH=%CD%\bin;%PATH% |
4 set PATH=%CD%\bin;%PATH% |
5 set CHERE_INVOKING=true |
5 set CHERE_INVOKING=true |
6 |
|
7 echo This is the GNU Bash interpreter of Cygwin. |
|
8 echo Use command "isabelle" to invoke Isabelle tools. |
|
6 "%CD%\contrib\cygwin-1.7.9\bin\bash" --login -i |
9 "%CD%\contrib\cygwin-1.7.9\bin\bash" --login -i |