replaced pprint_sg by Sign.pprint_sg;
authorwenzelm
Thu Feb 03 13:55:42 1994 +0100 (1994-02-03)
changeset 254b1fcd27fcac4
parent 253 d7130a753ecf
child 255 ee132db91681
replaced pprint_sg by Sign.pprint_sg;
added Syntax.simple_pprint_typ;
src/Pure/install_pp.ML
     1.1 --- a/src/Pure/install_pp.ML	Thu Feb 03 13:55:20 1994 +0100
     1.2 +++ b/src/Pure/install_pp.ML	Thu Feb 03 13:55:42 1994 +0100
     1.3 @@ -1,17 +1,19 @@
     1.4  (*  Title:      Pure/install_pp.ML
     1.5      ID:         $Id$
     1.6  
     1.7 -Set up automatic toplevel printing
     1.8 +Set up automatic toplevel printing.
     1.9  *)
    1.10  
    1.11 -install_pp (make_pp ["Thm", "thm"] 	pprint_thm);
    1.12 -install_pp (make_pp ["Thm", "theory"] 	pprint_theory);
    1.13 -install_pp (make_pp ["Thm", "cterm"] 	pprint_cterm);
    1.14 -install_pp (make_pp ["Thm", "ctyp"] 	pprint_ctyp);
    1.15 -install_pp (make_pp ["Sign", "sg"] 	pprint_sg);
    1.16 -install_pp (make_pp ["Syntax", "ast"] 	Syntax.pprint_ast);
    1.17 +install_pp (make_pp ["Thm", "thm"] pprint_thm);
    1.18 +install_pp (make_pp ["Thm", "theory"] pprint_theory);
    1.19 +install_pp (make_pp ["Thm", "cterm"] pprint_cterm);
    1.20 +install_pp (make_pp ["Thm", "ctyp"] pprint_ctyp);
    1.21 +install_pp (make_pp ["Sign", "sg"] Sign.pprint_sg);
    1.22 +install_pp (make_pp ["Syntax", "ast"] Syntax.pprint_ast);
    1.23 +install_pp (make_pp ["typ"] Syntax.simple_pprint_typ);
    1.24  
    1.25  (*
    1.26  install_pp (make_pp ["term"] pprint_term);
    1.27  install_pp (make_pp ["typ"] pprint_typ);
    1.28  *)
    1.29 +