src/Pure/display.ML
2001-10-22 wenzelm 2001-10-22 print_goals stuff is back (from locale.ML);
2001-08-15 wenzelm 2001-08-15 support for absolute namespace entry paths;
2000-12-23 wenzelm 2000-12-23 tuned output;
2000-09-17 wenzelm 2000-09-17 added print_thm(s)_sg;
2000-08-02 wenzelm 2000-08-02 use oracle flag from derivation;
2000-05-22 wenzelm 2000-05-22 show_consts no longer requires show_types;
2000-04-17 wenzelm 2000-04-17 Pretty.chunks;
2000-03-15 wenzelm 2000-03-15 removed Pretty.spc;
2000-03-09 wenzelm 2000-03-09 quote tag arguments;
1999-09-29 wenzelm 1999-09-29 new tsig components;
1999-07-23 wenzelm 1999-07-23 replace assoc lists by Symtab.table;
1999-07-12 wenzelm 1999-07-12 removed pretty_thm_no_hyps (again);
1999-07-08 wenzelm 1999-07-08 added pretty_thm_no_hyps;
1999-07-03 wenzelm 1999-07-03 oops;
1999-07-03 wenzelm 1999-07-03 pretty_thm: include oracles (!) in hyps;
1999-06-28 wenzelm 1999-06-28 cond_extern_table;
1999-03-17 wenzelm 1999-03-17 qualify Theory.sign_of etc.;
1999-03-09 wenzelm 1999-03-09 pretty_thm_no_quote;
1999-02-12 wenzelm 1999-02-12 pretty_thm: quote terms (separately);
1999-01-12 wenzelm 1999-01-12 show_tags; pretty/print_thms;
1998-11-17 wenzelm 1998-11-17 Pretty.spc;
1998-08-04 wenzelm 1998-08-04 moved print_goals to locale.ML;
1998-06-05 wenzelm 1998-06-05 print_data moved to theory.ML; print_theory: exclude theorems (no forward reference!);
1998-05-20 wenzelm 1998-05-20 tuned signature; added pretty_theory;
1998-04-03 wenzelm 1998-04-03 tuned comments;
1997-12-29 wenzelm 1997-12-29 pretty_name_space;
1997-12-19 wenzelm 1997-12-19 adapted to new sort function;
1997-11-21 wenzelm 1997-11-21 changed Sequence interface (now Seq, in seq.ML);
1997-11-20 wenzelm 1997-11-20 removed data.ML (made part of sign.ML);
1997-11-20 wenzelm 1997-11-20 moved Sign.print_sg to display.ML;
1997-11-12 wenzelm 1997-11-12 tuned prths;
1997-11-04 wenzelm 1997-11-04 added pretty_ctyp;
1997-10-24 wenzelm 1997-10-24 tuned; added print_data "theorems";
1997-10-20 wenzelm 1997-10-20 tuned output;
1997-10-16 paulson 1997-10-16 Eta-expansion of function declarations, for value polymorphism
1997-10-15 wenzelm 1997-10-15 improved print_data;
1997-10-14 wenzelm 1997-10-14 Sign.print_data;
1997-10-13 wenzelm 1997-10-13 print_goals: optional output of const types (set show_consts);
1997-10-09 wenzelm 1997-10-09 print_theory: added oracles;
1997-10-06 wenzelm 1997-10-06 now uses new Sign.pretty_sort;
1997-09-11 wenzelm 1997-09-11 removed print_goals_ref (which was broken anyway);
1997-07-22 wenzelm 1997-07-22 added pretty_cterm;
1997-07-18 wenzelm 1997-07-18 considered removal of print_goals_ref;
1997-04-18 wenzelm 1997-04-18 print_goals: fixed show_sorts semantics;
1996-11-26 paulson 1996-11-26 Eta-expansion of a function definition, for value polymorphism
1996-11-13 paulson 1996-11-13 Removal of polymorphic equality via mem, subset, eq_set, etc
1996-03-20 paulson 1996-03-20 New module for display/printing operations, taken from drule.ML