--- a/Admin/Windows/Cygwin/isabelle/init.bat Tue Jul 02 14:48:01 2013 +0200
+++ b/Admin/Windows/Cygwin/isabelle/init.bat Tue Jul 02 15:30:53 2013 +0200
@@ -1,11 +1,11 @@
@echo off
cd "%~dp0"
-cd ".."
+cd "..\..\.."
set CYGWIN=nodosfilewarning
echo Initializing Cygwin ...
-"bin\dash" /isabelle/rebaseall
-"bin\bash" /isabelle/postinstall
+"contrib\cygwin\bin\dash" /isabelle/rebaseall
+"contrib\cygwin\bin\bash" /isabelle/postinstall
--- a/Admin/Windows/Cygwin/isabelle/rebaseall Tue Jul 02 14:48:01 2013 +0200
+++ b/Admin/Windows/Cygwin/isabelle/rebaseall Tue Jul 02 15:30:53 2013 +0200
@@ -4,9 +4,7 @@
FILE_LIST="$(mktemp)"
-CONTRIB="$(cygpath -u "$(cygpath -w /)\..")"
-
-for DIR in "$CONTRIB/polyml"*
+for DIR in contrib/polyml*
do
find "$DIR" -name "*.dll" >> "$FILE_LIST"
done