--- a/etc/settings Thu Jun 23 14:52:32 2011 +0200 +++ b/etc/settings Thu Jun 23 16:10:22 2011 +0200 @@ -62,8 +62,6 @@ ISABELLE_JAVA="java" fi -classpath "$ISABELLE_HOME/lib/classes/Pure.jar" - ### ### Interactive sessions (cf. isabelle tty)