Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Isar/isar_syn.ML
changeset 29349 b49d8501720a
parent 29309 aa6d11fbe3b6
child 29363 c1f024b4d76d 
--- a/src/Pure/Isar/isar_syn.ML	Mon Jan 05 00:12:49 2009 +0100
+++ b/src/Pure/Isar/isar_syn.ML	Mon Jan 05 00:13:11 2009 +0100
@@ -774,7 +774,7 @@
 
 val _ =
   OuterSyntax.improper_command "init_toplevel" "init toplevel point-of-interest" K.control
-    (Scan.succeed (Toplevel.no_timing o Toplevel.imperative Isar.init_point));
+    (Scan.succeed (Toplevel.no_timing o Toplevel.imperative Isar.init));
 
 val _ =
   OuterSyntax.improper_command "linear_undo" "undo commands" K.control
isabelle