1.1 --- a/src/Pure/install_pp.ML Fri Jun 17 18:33:22 2005 +0200
1.2 +++ b/src/Pure/install_pp.ML Fri Jun 17 18:33:23 2005 +0200
1.3 @@ -1,13 +1,12 @@
1.4 (* Title: Pure/install_pp.ML
1.5 ID: $Id$
1.6
1.7 -Set up automatic toplevel pretty printing.
1.8 +ML toplevel pretty printing.
1.9 *)
1.10
1.11 -install_pp (make_pp ["Theory", "theory"] Display.pprint_theory);
1.12 install_pp (make_pp ["Thm", "thm"] Display.pprint_thm);
1.13 install_pp (make_pp ["Thm", "cterm"] Display.pprint_cterm);
1.14 install_pp (make_pp ["Thm", "ctyp"] Display.pprint_ctyp);
1.15 -install_pp (make_pp ["Sign", "sg"] Sign.pprint_sg);
1.16 +install_pp (make_pp ["Context", "theory"] Context.pprint_thy);
1.17 install_pp (make_pp ["Syntax", "ast"] Syntax.pprint_ast);
1.18 install_pp (make_pp ["typ"] Syntax.simple_pprint_typ);