--- a/Isabelle Wed Jan 06 18:22:43 2010 +0100
+++ b/Isabelle Wed Jan 06 20:00:22 2010 +0100
@@ -16,12 +16,14 @@
source "$ISABELLE_HOME/lib/scripts/getsettings" || exit 2
unset ISABELLE_SETTINGS_PRESENT
+unset ISABELLE_SITE_SETTINGS_PRESENT
## main
+[ -e "$ISABELLE_HOME/Admin/build" ] && "$ISABELLE_HOME/Admin/build" jars
+
CLASSPATH="$(jvmpath "$CLASSPATH")"
-
exec "$ISABELLE_JAVA" \
"-Disabelle.home=$(jvmpath "$ISABELLE_HOME")" \
-jar "$(jvmpath "$ISABELLE_HOME/lib/classes/isabelle-scala.jar")" "$@"