| Sat, 08 Dec 2001 14:41:36 +0100 | wenzelm | tuned print_goals interfaces; | file | diff | annotate |
| Tue, 06 Nov 2001 23:52:23 +0100 | wenzelm | added goals_limit (from tctical.ML); | file | diff | annotate |
| Tue, 06 Nov 2001 19:25:24 +0100 | wenzelm | export pretty_thm_aux; | file | diff | annotate |
| Mon, 22 Oct 2001 17:59:39 +0200 | wenzelm | print_goals stuff is back (from locale.ML); | file | diff | annotate |
| Wed, 15 Aug 2001 22:20:30 +0200 | wenzelm | support for absolute namespace entry paths; | file | diff | annotate |
| Sat, 23 Dec 2000 22:52:41 +0100 | wenzelm | tuned output; | file | diff | annotate |
| Sun, 17 Sep 2000 22:23:48 +0200 | wenzelm | added print_thm(s)_sg; | file | diff | annotate |
| Wed, 02 Aug 2000 19:38:33 +0200 | wenzelm | use oracle flag from derivation; | file | diff | annotate |
| Mon, 22 May 2000 11:57:27 +0200 | wenzelm | show_consts no longer requires show_types; | file | diff | annotate |
| Mon, 17 Apr 2000 13:57:55 +0200 | wenzelm | Pretty.chunks; | file | diff | annotate |
| Wed, 15 Mar 2000 18:20:52 +0100 | wenzelm | removed Pretty.spc; | file | diff | annotate |
| Thu, 09 Mar 2000 22:57:39 +0100 | wenzelm | quote tag arguments; | file | diff | annotate |
| Wed, 29 Sep 1999 13:50:26 +0200 | wenzelm | new tsig components; | file | diff | annotate |
| Fri, 23 Jul 1999 16:50:55 +0200 | wenzelm | replace assoc lists by Symtab.table; | file | diff | annotate |
| Mon, 12 Jul 1999 22:23:07 +0200 | wenzelm | removed pretty_thm_no_hyps (again); | file | diff | annotate |
| Thu, 08 Jul 1999 18:29:07 +0200 | wenzelm | added pretty_thm_no_hyps; | file | diff | annotate |
| Sat, 03 Jul 1999 00:40:57 +0200 | wenzelm | oops; | file | diff | annotate |
| Sat, 03 Jul 1999 00:21:35 +0200 | wenzelm | pretty_thm: include oracles (!) in hyps; | file | diff | annotate |
| Mon, 28 Jun 1999 21:41:02 +0200 | wenzelm | cond_extern_table; | file | diff | annotate |
| Wed, 17 Mar 1999 16:33:00 +0100 | wenzelm | qualify Theory.sign_of etc.; | file | diff | annotate |
| Tue, 09 Mar 1999 12:07:52 +0100 | wenzelm | pretty_thm_no_quote; | file | diff | annotate |
| Fri, 12 Feb 1999 13:55:54 +0100 | wenzelm | pretty_thm: quote terms (separately); | file | diff | annotate |
| Tue, 12 Jan 1999 13:14:22 +0100 | wenzelm | show_tags; | file | diff | annotate |
| Tue, 17 Nov 1998 14:04:52 +0100 | wenzelm | Pretty.spc; | file | diff | annotate |
| Tue, 04 Aug 1998 18:21:20 +0200 | wenzelm | moved print_goals to locale.ML; | file | diff | annotate |
| Fri, 05 Jun 1998 14:23:07 +0200 | wenzelm | print_data moved to theory.ML; | file | diff | annotate |
| Wed, 20 May 1998 18:56:00 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Fri, 03 Apr 1998 14:36:20 +0200 | wenzelm | tuned comments; | file | diff | annotate |
| Mon, 29 Dec 1997 14:31:20 +0100 | wenzelm | pretty_name_space; | file | diff | annotate |
| Fri, 19 Dec 1997 10:13:47 +0100 | wenzelm | adapted to new sort function; | file | diff | annotate |
| Fri, 21 Nov 1997 15:27:43 +0100 | wenzelm | changed Sequence interface (now Seq, in seq.ML); | file | diff | annotate |
| Thu, 20 Nov 1997 15:28:48 +0100 | wenzelm | removed data.ML (made part of sign.ML); | file | diff | annotate |
| Thu, 20 Nov 1997 12:51:31 +0100 | wenzelm | moved Sign.print_sg to display.ML; | file | diff | annotate |
| Wed, 12 Nov 1997 16:21:15 +0100 | wenzelm | tuned prths; | file | diff | annotate |
| Tue, 04 Nov 1997 16:46:02 +0100 | wenzelm | added pretty_ctyp; | file | diff | annotate |
| Fri, 24 Oct 1997 17:12:35 +0200 | wenzelm | tuned; | file | diff | annotate |
| Mon, 20 Oct 1997 10:51:01 +0200 | wenzelm | tuned output; | file | diff | annotate |
| Thu, 16 Oct 1997 10:22:37 +0200 | paulson | Eta-expansion of function declarations, for value polymorphism | file | diff | annotate |
| Wed, 15 Oct 1997 15:13:25 +0200 | wenzelm | improved print_data; | file | diff | annotate |
| Tue, 14 Oct 1997 17:35:56 +0200 | wenzelm | Sign.print_data; | file | diff | annotate |
| Mon, 13 Oct 1997 12:48:42 +0200 | wenzelm | print_goals: optional output of const types (set show_consts); | file | diff | annotate |
| Thu, 09 Oct 1997 14:51:10 +0200 | wenzelm | print_theory: added oracles; | file | diff | annotate |
| Mon, 06 Oct 1997 18:41:09 +0200 | wenzelm | now uses new Sign.pretty_sort; | file | diff | annotate |
| Thu, 11 Sep 1997 16:16:03 +0200 | wenzelm | removed print_goals_ref (which was broken anyway); | file | diff | annotate |
| Tue, 22 Jul 1997 17:46:35 +0200 | wenzelm | added pretty_cterm; | file | diff | annotate |
| Fri, 18 Jul 1997 13:51:28 +0200 | wenzelm | considered removal of print_goals_ref; | file | diff | annotate |
| Fri, 18 Apr 1997 12:01:12 +0200 | wenzelm | print_goals: fixed show_sorts semantics; | file | diff | annotate |
| Tue, 26 Nov 1996 16:11:18 +0100 | paulson | Eta-expansion of a function definition, for value polymorphism | file | diff | annotate |
| Wed, 13 Nov 1996 10:38:08 +0100 | paulson | Removal of polymorphic equality via mem, subset, eq_set, etc | file | diff | annotate |
| Wed, 20 Mar 1996 18:39:59 +0100 | paulson | New module for display/printing operations, taken from drule.ML | file | diff | annotate |