--- a/src/Pure/install_pp.ML Thu Jul 19 23:49:05 2007 +0200
+++ b/src/Pure/install_pp.ML Fri Jul 20 00:01:40 2007 +0200
@@ -11,5 +11,5 @@
install_pp (make_pp ["Context", "proof"] ProofDisplay.pprint_context);
install_pp (make_pp ["Syntax", "ast"] Syntax.pprint_ast);
install_pp (make_pp ["typ"] (ProofDisplay.pprint_typ Pure.thy));
-install_pp (make_pp ["Path", "T"] (Pretty.pprint o Pretty.quote o Pretty.str o Path.implode));
-install_pp (make_pp ["File", "ident"] (Pretty.pprint o Pretty.str o File.rep_ident));
+install_pp (make_pp ["Path", "T"] (Pretty.pprint o Pretty.str o quote o Path.implode));
+install_pp (make_pp ["File", "ident"] (Pretty.pprint o Pretty.str o quote o File.rep_ident));