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/PIDE/command.ML
changeset 69886 0cb8753bdb50
parent 69883 f8293bf510a0
child 69887 b9985133805d 
--- a/src/Pure/PIDE/command.ML	Sat Mar 09 13:35:49 2019 +0100
+++ b/src/Pure/PIDE/command.ML	Sat Mar 09 23:57:07 2019 +0100
@@ -175,7 +175,7 @@
   command = Toplevel.empty,
   state =
     (case opt_thy of
-      NONE => Toplevel.init ()
+      NONE => Toplevel.init_toplevel ()
     | SOME thy => Toplevel.theory_toplevel thy)};
 
 datatype eval =
isabelle