--- a/bin/isabelle Thu Feb 06 18:27:47 1997 +0100
+++ b/bin/isabelle Thu Feb 06 18:31:27 1997 +0100
@@ -9,7 +9,6 @@
ISABELLE_HOME=$(dirname $(dirname $0))
. $ISABELLE_HOME/lib/scripts/getsettings || exit 2
-. $ISABELLE_HOME/lib/scripts/getplatform
## diagnostics