removed getplatform;
authorwenzelm
Thu Feb 06 18:31:27 1997 +0100 (1997-02-06)
changeset 2591ae16f162f973
parent 2590 363b2c37a1b9
child 2592 a17f46352df3
removed getplatform;
bin/isabelle
lib/Tools/findlogics
     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
     2.1 --- a/lib/Tools/findlogics	Thu Feb 06 18:27:47 1997 +0100
     2.2 +++ b/lib/Tools/findlogics	Thu Feb 06 18:31:27 1997 +0100
     2.3 @@ -23,8 +23,6 @@
     2.4  [ $# -ne 0 ] && usage
     2.5  
     2.6  
     2.7 -. $ISABELLE_HOME/lib/scripts/getplatform
     2.8 -
     2.9  LOGICS=""
    2.10  
    2.11  for DIR in $(echo $ISABELLE_PATH | tr : " ")