1.1 --- a/bin/isabelle	Thu Feb 06 18:27:47 1997 +0100
     1.2 +++ b/bin/isabelle	Thu Feb 06 18:31:27 1997 +0100
     1.3 @@ -9,7 +9,6 @@
     1.4  
     1.5  ISABELLE_HOME=$(dirname $(dirname $0))
     1.6  . $ISABELLE_HOME/lib/scripts/getsettings || exit 2
     1.7 -. $ISABELLE_HOME/lib/scripts/getplatform
     1.8  
     1.9  
    1.10  ## diagnostics