lib/scripts/getsettings
changeset 36196 cbb9ee265cdd
parent 36194 8e61560ded89
child 40568 3003be923908
     1.1 --- a/lib/scripts/getsettings	Sat Apr 17 21:40:29 2010 +0200
     1.2 +++ b/lib/scripts/getsettings	Sat Apr 17 22:58:29 2010 +0200
     1.3 @@ -27,6 +27,9 @@
     1.4    "$ISABELLE_TOOL" "$@"
     1.5  }
     1.6  
     1.7 +#platform
     1.8 +. "$ISABELLE_HOME/lib/scripts/isabelle-platform"
     1.9 +
    1.10  #Isabelle distribution identifier -- filled in automatically!
    1.11  ISABELLE_IDENTIFIER=""
    1.12