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.
simplified commit_exit;
authorwenzelm
Tue, 15 Jul 2008 11:50:04 +0200
changeset 27602 86cf8f2493ca
parent 27601 6683cdb94af8
child 27603 69c00b56fb36
simplified commit_exit;
src/Pure/ProofGeneral/proof_general_emacs.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/ProofGeneral/proof_general_emacs.ML	Tue Jul 15 11:50:03 2008 +0200
+++ b/src/Pure/ProofGeneral/proof_general_emacs.ML	Tue Jul 15 11:50:04 2008 +0200
@@ -142,7 +142,7 @@
     val _ = name = "" andalso error ("Bad file name: " ^ quote file);
     val _ =
       if ThyInfo.check_known_thy name then
-        (Isar.commit_exit (); ThyInfo.touch_child_thys name; ThyInfo.register_thy name)
+        (Isar.>> Toplevel.commit_exit; ThyInfo.touch_child_thys name; ThyInfo.register_thy name)
           handle ERROR msg =>
             (warning (cat_lines ["Failed to register theory: " ^ quote name, msg]);
               tell_file_retracted (ThyLoad.thy_path name))
isabelle