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.
more emphatic warning via error_message (violating historic TTY protocol);
authorwenzelm
Sat, 02 Aug 2014 19:38:32 +0200
changeset 57844 ae3eac418c5f
parent 57843 d8966c09025c
child 57845 a2340800ca1f
more emphatic warning via error_message (violating historic TTY protocol);
src/Pure/PIDE/command.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/PIDE/command.ML	Sat Aug 02 19:29:02 2014 +0200
+++ b/src/Pure/PIDE/command.ML	Sat Aug 02 19:38:32 2014 +0200
@@ -204,7 +204,7 @@
   in
     (case res of
       NONE => st0
-    | SOME st => (warning (Toplevel.type_error tr st0 ^ " -- resetting state"); st))
+    | SOME st => (Output.error_message (Toplevel.type_error tr st0 ^ " -- using reset state"); st))
   end) ();
 
 fun run int tr st =
isabelle