Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
removed getplatform;
authorwenzelm
Thu, 06 Feb 1997 18:31:27 +0100
changeset 2591 ae16f162f973
parent 2590 363b2c37a1b9
child 2592 a17f46352df3
removed getplatform;
bin/isabelle file | annotate | diff | comparison | revisions
lib/Tools/findlogics file | annotate | diff | comparison | revisions 
--- 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
--- 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 : " ")
isabelle