append print_modes;

--- a/src/Pure/Isar/isar_output.ML	Fri Dec 01 19:43:06 2000 +0100
+++ b/src/Pure/Isar/isar_output.ML	Fri Dec 01 19:43:40 2000 +0100
@@ -141,7 +141,8 @@
     fun expand (Antiquote.Text s) = s
       | expand (Antiquote.Antiq x) =
           let val (opts, src) = antiq_args lex x in
-            Library.setmp print_mode Latex.modes (options opts (fn () => command src state)) ()
+            Library.setmp print_mode (Latex.modes @ ! print_mode)
+              (options opts (fn () => command src state)) ()
           end;
     val ants = Antiquote.antiquotes_of (str, pos);
   in