isabelle: Admin/Windows/Cygwin/isabelle/init.bat@7784cc660580 (annotated)

47873 1636ff4c6243 init Cygwin after unpacking; wenzelm parents: diff changeset	1	@echo off
1636ff4c6243 init Cygwin after unpacking; wenzelm parents: diff changeset	2
1636ff4c6243 init Cygwin after unpacking; wenzelm parents: diff changeset	3	cd "%~dp0"
1636ff4c6243 init Cygwin after unpacking; wenzelm parents: diff changeset	4	cd "..\.."
1636ff4c6243 init Cygwin after unpacking; wenzelm parents: diff changeset	5
50806 c19dba2d7ffe more systematic makedist_cygwin; wenzelm parents: 48197 diff changeset	6	set CYGWIN=nodosfilewarning
c19dba2d7ffe more systematic makedist_cygwin; wenzelm parents: 48197 diff changeset	7
c19dba2d7ffe more systematic makedist_cygwin; wenzelm parents: 48197 diff changeset	8	echo Initializing Cygwin ...
50831 7784cc660580 more standard contrib/cygwin location (again); wenzelm parents: 50807 diff changeset	9	"contrib\cygwin\bin\dash" /isabelle/rebaseall contrib/polyml-5.5.0
7784cc660580 more standard contrib/cygwin location (again); wenzelm parents: 50807 diff changeset	10	"contrib\cygwin\bin\bash" /isabelle/postinstall
50807 c065f3d14197 clarified cygwin/isabelle scripts; wenzelm parents: 50806 diff changeset	11