2006-07-26 wenzelm 2006-07-26 moved pprint functions to Isar/proof_display.ML;
2006-01-27 wenzelm 2006-01-27 added ProofContext.pprint_context (depends on ProofContext.debug);
2005-06-29 wenzelm 2005-06-29 replaced Syntax.simple_pprint_typ by (Sign.pprint_typ ProtoPure.thy);
2005-06-17 wenzelm 2005-06-17 removed obsolete pretty printers for Theory.theory,; added pretty printer for Context.theory (long form of output);
2005-06-09 wenzelm 2005-06-09 full Display.pprint_theory for ML toplevel facilitates debugging;
2005-03-26 paulson 2005-03-26 new display of theory stamps
2001-10-22 wenzelm 2001-10-22 qualified names;
1997-07-09 wenzelm 1997-07-09 removed init_pps;
1996-03-01 paulson 1996-03-01 Theories are now in theory.ML
1994-09-26 wenzelm 1994-09-26 added init_pps;
1994-02-03 wenzelm 1994-02-03 replaced pprint_sg by Sign.pprint_sg; added Syntax.simple_pprint_typ;
1994-01-18 lcp 1994-01-18 Many other files modified as follows: s|Sign.cterm|cterm|g s|Sign.ctyp|ctyp|g s|Sign.rep_cterm|rep_cterm|g s|Sign.rep_ctyp|rep_ctyp|g s|Sign.pprint_cterm|pprint_cterm|g s|Sign.pprint_ctyp|pprint_ctyp|g s|Sign.string_of_cterm|string_of_cterm|g s|Sign.string_of_ctyp|string_of_ctyp|g s|Sign.term_of|term_of|g s|Sign.typ_of|typ_of|g s|Sign.read_cterm|read_cterm|g s|Sign.read_insts|read_insts|g s|Sign.cfun|cterm_fun|g
1993-11-04 wenzelm 1993-11-04 commented out install_pp for term, typ
1993-10-04 wenzelm 1993-10-04 Pure/ROOT.ML cleaned comments; removed extraneous 'print_depth 1'; replaced Basic_Syntax by BasicSyntax added 'use "install_pp.ML"'; Pure/README fixed comments; Pure/POLY.ML Pure/NJ.ML make_pp: added fbrk; Pure/install_pp.ML replaced "Ast" by "Syntax"; Pure/sign.ML added 'quote' to some error msgs;
1993-09-16 clasohm 1993-09-16 Initial revision