isabelle: src/Pure/install_pp.ML@ec8a2b6aa8a7 (annotated)

19 929ad32d63fc Pure/ROOT.ML wenzelm parents: 0 diff changeset	1	(* Title: Pure/install_pp.ML
0 a5a9c433f639 Initial revision clasohm parents: diff changeset	2	ID: $Id$
a5a9c433f639 Initial revision clasohm parents: diff changeset	3
a5a9c433f639 Initial revision clasohm parents: diff changeset	4	Set up automatic toplevel printing
a5a9c433f639 Initial revision clasohm parents: diff changeset	5	*)
a5a9c433f639 Initial revision clasohm parents: diff changeset	6
230 ec8a2b6aa8a7 Many other files modified as follows: lcp parents: 89 diff changeset	7	install_pp (make_pp ["Thm", "thm"] pprint_thm);
ec8a2b6aa8a7 Many other files modified as follows: lcp parents: 89 diff changeset	8	install_pp (make_pp ["Thm", "theory"] pprint_theory);
ec8a2b6aa8a7 Many other files modified as follows: lcp parents: 89 diff changeset	9	install_pp (make_pp ["Thm", "cterm"] pprint_cterm);
ec8a2b6aa8a7 Many other files modified as follows: lcp parents: 89 diff changeset	10	install_pp (make_pp ["Thm", "ctyp"] pprint_ctyp);
ec8a2b6aa8a7 Many other files modified as follows: lcp parents: 89 diff changeset	11	install_pp (make_pp ["Sign", "sg"] pprint_sg);
ec8a2b6aa8a7 Many other files modified as follows: lcp parents: 89 diff changeset	12	install_pp (make_pp ["Syntax", "ast"] Syntax.pprint_ast);
0 a5a9c433f639 Initial revision clasohm parents: diff changeset	13
89 2fee1120cb3e commented out install_pp for term, typ wenzelm parents: 19 diff changeset	14	(*
2fee1120cb3e commented out install_pp for term, typ wenzelm parents: 19 diff changeset	15	install_pp (make_pp ["term"] pprint_term);
2fee1120cb3e commented out install_pp for term, typ wenzelm parents: 19 diff changeset	16	install_pp (make_pp ["typ"] pprint_typ);
2fee1120cb3e commented out install_pp for term, typ wenzelm parents: 19 diff changeset	17	*)

author	lcp
	Tue, 18 Jan 1994 15:57:40 +0100
changeset 230	ec8a2b6aa8a7
parent 89	2fee1120cb3e
child 254	b1fcd27fcac4
permissions	-rw-r--r--