equal
deleted
inserted
replaced
1 @echo off |
1 @echo off |
2 |
2 |
3 set TEMP_WINDOWS=%TEMP% |
3 set TEMP_WINDOWS=%TEMP% |
4 set HOME=%HOMEDRIVE%%HOMEPATH% |
4 set HOME=%HOMEDRIVE%%HOMEPATH% |
5 set PATH=%CD%\bin;%PATH% |
5 set PATH=%CD%\bin;%PATH% |
|
6 set LANG=en_US.UTF-8 |
6 set CHERE_INVOKING=true |
7 set CHERE_INVOKING=true |
7 |
8 |
8 echo This is the GNU Bash interpreter of Cygwin. |
9 echo This is the GNU Bash interpreter of Cygwin. |
9 echo Use command "isabelle" to invoke Isabelle tools. |
10 echo Use command "isabelle" to invoke Isabelle tools. |
10 "%CD%\contrib\cygwin\bin\bash" --login -i |
11 "%CD%\contrib\cygwin\bin\bash" --login -i |