simplified ISABELLE_HOME on Windows (see also 9c8a1b9c0630, 5a7903ba2dac);
authorwenzelm
Sat Sep 28 13:50:38 2013 +0200 (2013-09-28)
changeset 53967bfaae48b0ce0
parent 53966 5a546a881f90
child 53968 814dbc4e84a3
simplified ISABELLE_HOME on Windows (see also 9c8a1b9c0630, 5a7903ba2dac);
lib/scripts/getsettings
src/Pure/Tools/main.scala
     1.1 --- a/lib/scripts/getsettings	Sat Sep 28 13:40:33 2013 +0200
     1.2 +++ b/lib/scripts/getsettings	Sat Sep 28 13:50:38 2013 +0200
     1.3 @@ -23,9 +23,6 @@
     1.4      USER_HOME="$(cygpath -u "$HOMEDRIVE\\$HOMEPATH")"
     1.5    fi
     1.6  
     1.7 -  ISABELLE_HOME_WINDOWS="$(cygpath -w "$(dirname "$ISABELLE_HOME")")\\$(basename "$ISABELLE_HOME")"
     1.8 -  ISABELLE_HOME="$(cygpath -u "$ISABELLE_HOME_WINDOWS")"
     1.9 -
    1.10    function jvmpath() { cygpath -i -C UTF8 -w -p "$@"; }
    1.11    CYGWIN_ROOT="$(jvmpath "/")"
    1.12  
     2.1 --- a/src/Pure/Tools/main.scala	Sat Sep 28 13:40:33 2013 +0200
     2.2 +++ b/src/Pure/Tools/main.scala	Sat Sep 28 13:50:38 2013 +0200
     2.3 @@ -133,7 +133,7 @@
     2.4        try {
     2.5          GUI.init_laf()
     2.6  
     2.7 -        val isabelle_home0 = System.getenv("ISABELLE_HOME_WINDOWS")
     2.8 +        val isabelle_home0 = System.getenv("ISABELLE_HOME")
     2.9          val isabelle_home = System.getProperty("isabelle.home")
    2.10  
    2.11          if (isabelle_home0 == null || isabelle_home0 == "") {