| Tue, 19 Nov 1996 13:21:28 +0100 |
wenzelm |
removed old commented out text;
|
file |
diff |
annotate
|
| Mon, 18 Nov 1996 17:29:49 +0100 |
wenzelm |
added print_mode: string list ref (order of printer tables);
|
file |
diff |
annotate
|
| Fri, 16 Feb 1996 16:56:04 +0100 |
paulson |
Elimination of fully-functorial style.
|
file |
diff |
annotate
|
| Wed, 03 May 1995 13:40:19 +0200 |
lcp |
Now show_sorts:=true causes printing of types
|
file |
diff |
annotate
|
| Fri, 03 Mar 1995 11:48:05 +0100 |
clasohm |
added CPure (curried functions) and ProtoPure (ancestor of Pure and CPure)
|
file |
diff |
annotate
|
| Mon, 26 Sep 1994 17:35:23 +0100 |
wenzelm |
added flag show_no_free_types: bool ref;
|
file |
diff |
annotate
|
| Fri, 19 Aug 1994 15:37:05 +0200 |
wenzelm |
various minor internal changes;
|
file |
diff |
annotate
|
| Wed, 03 Aug 1994 09:45:42 +0200 |
nipkow |
improved show_brackets again - Trueprop does not create () any more.
|
file |
diff |
annotate
|
| Tue, 02 Aug 1994 20:08:57 +0200 |
nipkow |
minimized () in forced printing of barckets (show_brackets)
|
file |
diff |
annotate
|
| Tue, 02 Aug 1994 09:07:10 +0200 |
nipkow |
added flag show_brackets for printinmg fully bracketed terms.
|
file |
diff |
annotate
|
| Thu, 19 May 1994 16:13:51 +0200 |
wenzelm |
replaced fix_aprop by prop_tr';
|
file |
diff |
annotate
|
| Thu, 03 Feb 1994 13:59:00 +0100 |
wenzelm |
minor internal changes;
|
file |
diff |
annotate
|
| Wed, 19 Jan 1994 14:21:26 +0100 |
wenzelm |
MAJOR INTERNAL CHANGE: extend and merge operations of syntax tables
|
file |
diff |
annotate
|
| Thu, 21 Oct 1993 14:40:06 +0100 |
lcp |
Pure/Syntax/printer/is_prop: now calls fastype_of1
|
file |
diff |
annotate
|
| Mon, 11 Oct 1993 12:30:06 +0100 |
wenzelm |
*** empty log message ***
|
file |
diff |
annotate
|
| Fri, 08 Oct 1993 13:55:04 +0100 |
wenzelm |
*** empty log message ***
|
file |
diff |
annotate
|
| Mon, 04 Oct 1993 15:30:49 +0100 |
wenzelm |
lots of internal cleaning and tuning;
|
file |
diff |
annotate
|
| Thu, 16 Sep 1993 12:20:38 +0200 |
clasohm |
Initial revision
|
file |
diff |
annotate
|