1.1 --- a/doc-src/more_antiquote.ML	Sat May 08 16:53:53 2010 +0200
     1.2 +++ b/doc-src/more_antiquote.ML	Sat May 08 19:14:13 2010 +0200
     1.3 @@ -51,7 +51,7 @@
     1.4  
     1.5  local
     1.6  
     1.7 -val pr_text = enclose "\\isa{" "}" o Pretty.output o Pretty.str;
     1.8 +val pr_text = enclose "\\isa{" "}" o Pretty.output NONE o Pretty.str;
     1.9  
    1.10  fun pr_class ctxt = ProofContext.read_class ctxt
    1.11    #> Type.extern_class (ProofContext.tsig_of ctxt)