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.
fixed ISABELLE_USEDIR_OPTIONS;
authorwenzelm
Thu, 27 Aug 1998 16:54:55 +0200
changeset 5393 7299e531d481
parent 5392 a98dfbb19c80
child 5394 2049fbac1407
fixed ISABELLE_USEDIR_OPTIONS;
build file | annotate | diff | comparison | revisions 
--- a/build	Thu Aug 27 16:41:22 1998 +0200
+++ b/build	Thu Aug 27 16:54:55 1998 +0200
@@ -141,6 +141,8 @@
   echo "ML_HOME=$ML_HOME"
   echo "ML_OPTIONS=$ML_OPTIONS"
   echo
+  echo "ISABELLE_USEDIR_OPTIONS=$ISABELLE_USEDIR_OPTIONS"
+  echo
 fi
isabelle