@echo offset TEMP_WINDOWS=%TEMP%set HOME=%HOMEDRIVE%%HOMEPATH%set PATH=%CD%\bin;%PATH%set LANG=en_US.UTF-8set CHERE_INVOKING=trueecho This is the GNU Bash interpreter of Cygwin.echo Use command "isabelle" to invoke Isabelle tools."%CD%\contrib\cygwin\bin\bash" --login -i