# HG changeset patch
# User wenzelm
# Date 855250287 -3600
# Node ID ae16f162f9732dabc942459c4e195f62f3eb21ee
# Parent  363b2c37a1b928f273ee88c37de203e57d5bd9af
removed getplatform;

diff -r 363b2c37a1b9 -r ae16f162f973 bin/isabelle
--- 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
diff -r 363b2c37a1b9 -r ae16f162f973 lib/Tools/findlogics
--- a/lib/Tools/findlogics	Thu Feb 06 18:27:47 1997 +0100
+++ b/lib/Tools/findlogics	Thu Feb 06 18:31:27 1997 +0100
@@ -23,8 +23,6 @@
 [ $# -ne 0 ] && usage
 
 
-. $ISABELLE_HOME/lib/scripts/getplatform
-
 LOGICS=""
 
 for DIR in $(echo $ISABELLE_PATH | tr : " ")