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.
Toplevel.init_state;
authorwenzelm
Sat, 30 Dec 2006 12:33:27 +0100
changeset 21957 4e44e74dc7e7
parent 21956 2cbee05b18a1
child 21958 9dfd1ca4c0a0
Toplevel.init_state;
src/Pure/Isar/outer_syntax.ML file | annotate | diff | comparison | revisions
src/Pure/Isar/session.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Isar/outer_syntax.ML	Sat Dec 30 12:33:26 2006 +0100
+++ b/src/Pure/Isar/outer_syntax.ML	Sat Dec 30 12:33:27 2006 +0100
@@ -318,7 +318,7 @@
   ml_prompts "ML> " "ML# ");
 
 fun gen_main term no_pos =
- (Toplevel.set_state Toplevel.toplevel;
+ (Toplevel.init_state ();
   writeln (Session.welcome ());
   gen_loop term no_pos);
 
--- a/src/Pure/Isar/session.ML	Sat Dec 30 12:33:26 2006 +0100
+++ b/src/Pure/Isar/session.ML	Sat Dec 30 12:33:27 2006 +0100
@@ -61,6 +61,7 @@
   (Output.accumulated_time ();
     ThyInfo.finish ();
     Present.finish ();
+    Toplevel.init_state ();
     session_finished := true);
isabelle