retain ISABELLE_HOME_WINDOWS which is useful for jEdit to fold file names symbolically, but without DOS expansion that causes problems with Cygwin/Posix roundtrip (cf. 5a7903ba2dac);
1.1 --- a/lib/scripts/getsettings Tue Apr 17 22:26:36 2012 +0200
1.2 +++ b/lib/scripts/getsettings Tue Apr 17 23:24:46 2012 +0200
1.3 @@ -14,7 +14,7 @@
1.4 #JVM path wrapper
1.5 if [ "$OSTYPE" = cygwin ]
1.6 then
1.7 - ISABELLE_HOME_WINDOWS="$(cygpath -d "$(dirname "$ISABELLE_HOME")")\\$(basename "$ISABELLE_HOME")"
1.8 + ISABELLE_HOME_WINDOWS="$(cygpath -w "$(dirname "$ISABELLE_HOME")")\\$(basename "$ISABELLE_HOME")"
1.9 ISABELLE_HOME="$(cygpath -u "$ISABELLE_HOME_WINDOWS")"
1.10
1.11 CLASSPATH="$(cygpath -i -u -p "$CLASSPATH")"