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
Fri, 14 Feb 2014 14:44:43 +0100
changeset 55489 c12ad7295f57
parent 55488 60c159d490a2
child 55490 9b0fb0e2c9f5
tuned message;
src/Pure/Isar/outer_syntax.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Isar/outer_syntax.ML	Fri Feb 14 14:39:44 2014 +0100
+++ b/src/Pure/Isar/outer_syntax.ML	Fri Feb 14 14:44:43 2014 +0100
@@ -167,7 +167,7 @@
           val _ = warning (redefining ());
           val _ =
             if ! batch_mode then
-              Output.physical_stderr ("Legacy feature! " ^ redefining () ^ "\n")
+              Output.physical_stderr ("### Legacy feature! " ^ redefining () ^ "\n")
             else ();
         in () end;
       Symtab.update (name, cmd) commands)))
isabelle