pprint: proper global context via Syntax.init_pretty_global;

--- a/src/Pure/Isar/proof_display.ML	Sun May 18 15:04:41 2008 +0200
+++ b/src/Pure/Isar/proof_display.ML	Sun May 18 15:04:43 2008 +0200
@@ -41,7 +41,7 @@
     Pretty.quote (Pretty.big_list "proof context:" (ProofContext.pretty_context ctxt))
   else Pretty.str "<context>");
 
-fun pprint pretty thy = Pretty.pprint o Pretty.quote o pretty (ProofContext.init thy);
+fun pprint pretty thy = Pretty.pprint o Pretty.quote o pretty (Syntax.init_pretty_global thy);
 
 val pprint_typ = pprint Syntax.pretty_typ;
 val pprint_term = pprint Syntax.pretty_term;