# HG changeset patch
# User wenzelm
# Date 911905436 -3600
# Node ID 4ec8b8f957e64e9c228b7509ae4815dbe4c081d5
# Parent  d6017ce6b93ece228006565246d43b2481a6c1a7
Isar.main();

diff -r d6017ce6b93e -r 4ec8b8f957e6 bin/isabelle
--- a/bin/isabelle	Tue Nov 24 12:03:09 1998 +0100
+++ b/bin/isabelle	Tue Nov 24 12:03:56 1998 +0100
@@ -59,7 +59,7 @@
 do
   case "$OPT" in
     I)
-      MLTEXT="$MLTEXT OuterSyntax.main();"
+      MLTEXT="$MLTEXT Isar.main();"
       ;;
     e)
       MLTEXT="$MLTEXT $OPTARG"