src/Pure/install_pp.ML
2005-06-29 ago replaced Syntax.simple_pprint_typ by (Sign.pprint_typ ProtoPure.thy);
2005-06-17 ago removed obsolete pretty printers for Theory.theory, Sign.sg;
2005-06-09 ago full Display.pprint_theory for ML toplevel facilitates debugging;
2005-03-26 ago new display of theory stamps
2001-10-22 ago qualified names;
1997-07-09 ago removed init_pps;
1996-03-01 ago Theories are now in theory.ML
1994-09-26 ago added init_pps;
1994-02-03 ago replaced pprint_sg by Sign.pprint_sg;
1994-01-18 ago Many other files modified as follows:
1993-11-04 ago commented out install_pp for term, typ
1993-10-04 ago Pure/ROOT.ML
1993-09-16 ago Initial revision