avoid breakdown of document preparation, which does not understand cartouche tokens yet;

--- a/src/HOL/ex/Cartouche_Examples.thy	Wed Jan 22 15:11:10 2014 +0100
+++ b/src/HOL/ex/Cartouche_Examples.thy	Wed Jan 22 15:28:19 2014 +0100
@@ -150,7 +150,7 @@
 subsubsection {* Uniform nesting of sub-languages: document source, ML, term, string literals *}
 
 ML {*
-  Outer_Syntax.markup_command Thy_Output.MarkupEnv
+  Outer_Syntax.command
     @{command_spec "text_cartouche"} ""
     (Parse.opt_target -- Parse.source_position Parse.cartouche >> Isar_Cmd.local_theory_markup)
 *}