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.
Output.no_warnings;
authorwenzelm
Thu, 02 Jun 2005 18:29:54 +0200
changeset 16194 3d192ab9907b
parent 16193 05413e43d2f3
child 16195 0eb3c15298cd
Output.no_warnings;
src/Pure/Isar/isar_output.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Isar/isar_output.ML	Thu Jun 02 18:29:53 2005 +0200
+++ b/src/Pure/Isar/isar_output.ML	Thu Jun 02 18:29:54 2005 +0200
@@ -37,8 +37,6 @@
 structure T = OuterLex;
 structure P = OuterParse;
 
-
-
 (** global references -- defaults for options **)
 
 val locale = ref "";
@@ -168,7 +166,7 @@
           let val (opts, src) = antiq_args lex x in
             options opts (fn () => command src state) ();  (*preview errors!*)
             Library.setmp print_mode (! modes @ Latex.modes @ ! print_mode)
-              (options opts (fn () => command src state)) ()
+              (Output.no_warnings (options opts (fn () => command src state))) ()
           end;
     val ants = Antiquote.antiquotes_of (str, pos);
   in
isabelle