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.
tuned message;
authorwenzelm
Mon, 14 Jul 2008 22:26:53 +0200
changeset 27591 5e499b223a1e
parent 27590 26415966c708
child 27592 6d81c734f7af
tuned message;
src/Pure/ProofGeneral/proof_general_emacs.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/ProofGeneral/proof_general_emacs.ML	Mon Jul 14 22:09:08 2008 +0200
+++ b/src/Pure/ProofGeneral/proof_general_emacs.ML	Mon Jul 14 22:26:53 2008 +0200
@@ -143,7 +143,7 @@
       if ThyInfo.check_known_thy name then
         (Isar.commit_exit (); ThyInfo.touch_child_thys name; ThyInfo.register_thy name)
           handle ERROR msg =>
-            (warning (cat_lines [msg, "Failed to register theory: " ^ quote name]);
+            (warning (cat_lines ["Failed to register theory: " ^ quote name, msg]);
               tell_file_retracted (ThyLoad.thy_path name))
       else ();
     val _ = Isar.init_point ();
isabelle