| Fri, 04 Apr 1997 19:07:54 +0200 |
wenzelm |
fixed diagnostic output of print modes;
|
file |
diff |
annotate
|
| Fri, 28 Feb 1997 21:54:37 +0100 |
wenzelm |
improved err msg;
|
file |
diff |
annotate
|
| Fri, 28 Feb 1997 16:46:26 +0100 |
wenzelm |
added token translation support;
|
file |
diff |
annotate
|
| Thu, 06 Feb 1997 17:46:22 +0100 |
wenzelm |
adapted read_typ, simple_read_typ;
|
file |
diff |
annotate
|
| Mon, 13 Jan 1997 09:29:55 +0100 |
wenzelm |
replaced unit refs by 'stamp';
|
file |
diff |
annotate
|
| Fri, 13 Dec 1996 17:34:32 +0100 |
wenzelm |
added extend_trfunsT;
|
file |
diff |
annotate
|
| Tue, 10 Dec 1996 13:02:02 +0100 |
wenzelm |
added chartrans;
|
file |
diff |
annotate
|
| Mon, 02 Dec 1996 10:23:28 +0100 |
paulson |
Removal of needless occurrences of "op"
|
file |
diff |
annotate
|
| Mon, 18 Nov 1996 17:30:44 +0100 |
wenzelm |
extend_const_gram now supports multiple disjoint printer tables;
|
file |
diff |
annotate
|
| Tue, 18 Jun 1996 16:27:04 +0200 |
paulson |
Translation infixes <->, etc., no longer available at top-level
|
file |
diff |
annotate
|
| Fri, 15 Mar 1996 12:01:19 +0100 |
berghofe |
Added some functions which allow redirection of Isabelle's output
|
file |
diff |
annotate
|
| Fri, 16 Feb 1996 17:24:51 +0100 |
paulson |
Elimination of fully-functorial style.
|
file |
diff |
annotate
|
| Mon, 26 Jun 1995 14:32:26 +0200 |
wenzelm |
added extend_trrules_i;
|
file |
diff |
annotate
|
| Wed, 14 Jun 1995 12:05:13 +0200 |
clasohm |
removed 'raw' productions from gram datatype; replaced mk_gram by add_prods;
|
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
|
| Fri, 27 Jan 1995 13:35:29 +0100 |
wenzelm |
improved read_xrules: patterns no longer read twice;
|
file |
diff |
annotate
|
| Fri, 27 Jan 1995 12:30:36 +0100 |
clasohm |
moved ambiguity_level from sign.ML to Syntax/syntax.ML
|
file |
diff |
annotate
|
| Wed, 18 Jan 1995 11:36:04 +0100 |
clasohm |
added optional precedence for body of binder;
|
file |
diff |
annotate
|
| Thu, 08 Dec 1994 12:46:25 +0100 |
clasohm |
changed Pure's grammar and the way types are converted to nonterminals
|
file |
diff |
annotate
|
| Tue, 04 Oct 1994 13:02:16 +0100 |
clasohm |
made major changes to grammar;
Isabelle94-1
|
file |
diff |
annotate
|
| Fri, 19 Aug 1994 15:37:46 +0200 |
wenzelm |
added type xrule (from sextension.ML);
|
file |
diff |
annotate
|
| Thu, 19 May 1994 16:15:38 +0200 |
wenzelm |
added incremental extension functions: extend_log_types, extend_type_gram,
|
file |
diff |
annotate
|
| Fri, 22 Apr 1994 12:43:53 +0200 |
clasohm |
changed the way a grammar is generated to allow the new parser to work;
|
file |
diff |
annotate
|
| Thu, 03 Feb 1994 13:59:56 +0100 |
wenzelm |
added simple_string_of_typ, simple_pprint_typ;
|
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
|
| Tue, 30 Nov 1993 15:31:07 +0100 |
wenzelm |
*** empty log message ***
|
file |
diff |
annotate
|
| Tue, 30 Nov 1993 12:12:18 +0100 |
wenzelm |
*** empty log message ***
|
file |
diff |
annotate
|
| Tue, 30 Nov 1993 11:04:07 +0100 |
wenzelm |
*** empty log message ***
|
file |
diff |
annotate
|
| Mon, 29 Nov 1993 13:51:37 +0100 |
wenzelm |
*** empty log message ***
|
file |
diff |
annotate
|
| Mon, 29 Nov 1993 12:32:42 +0100 |
wenzelm |
added (partial) extend_tables;
|
file |
diff |
annotate
|
| Thu, 25 Nov 1993 11:39:45 +0100 |
wenzelm |
added Syntax.read_typ;
|
file |
diff |
annotate
|
| Mon, 11 Oct 1993 12:30:06 +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
|