bin/isabelle
changeset 2591 ae16f162f973
parent 2395 c24a79fe3651
child 2704 afa01c9f1ab0
--- 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