bin/isabelle
changeset 4516 f90b2d459a1b
parent 4355 68c7c544570c
child 4539 4227bd14dbe7
--- a/bin/isabelle	Mon Jan 05 10:47:10 1998 +0100
+++ b/bin/isabelle	Mon Jan 05 12:56:22 1998 +0100
@@ -26,6 +26,7 @@
   echo "    -m MODE      add print mode for output"
   echo "    -q           non-interactive session"
   echo "    -r           open heap file read-only"
+  echo "    -u           pass 'use\"ROOT.ML\";' to the ML session"
   echo "    -w           reset write permissions on OUTPUT"
   echo
   echo "  INPUT (default \"$ISABELLE_LOGIC\") and OUTPUT specify in/out heaps."
@@ -53,7 +54,7 @@
 READONLY=""
 NOWRITE=""
 
-while getopts "e:m:qrw" OPT
+while getopts "e:m:qruw" OPT
 do
   case "$OPT" in
     e)
@@ -72,6 +73,9 @@
     r)
       READONLY=true
       ;;
+    u)
+      MLTEXT="$MLTEXT use\"ROOT.ML\";"
+      ;;
     w)
       NOWRITE=true
       ;;