Admin/Windows/Cygwin/Cygwin-Terminal.bat
author desharna
Sun, 28 Nov 2021 09:57:48 +0100
changeset 74867 4220dcd6c22e
parent 61826 6f9e5fb0683f
permissions -rwxr-xr-x
restored lemmas less_multiset{DM,HO} inadvertently changed by c256bba593f3

@echo off

set TEMP_WINDOWS=%TEMP%
set HOME=%HOMEDRIVE%%HOMEPATH%
set PATH=%CD%\bin;%PATH%
set LANG=en_US.UTF-8
set CHERE_INVOKING=true

echo This is the GNU Bash interpreter of Cygwin.
echo Use command "isabelle" to invoke Isabelle tools.
"%CD%\contrib\cygwin\bin\bash" --login -i