src/Pure/Syntax/syn_ext.ML
Mon, 12 Jun 1995 15:01:03 +0200 clasohm fixed bug in mfix_to_xprod: lambda productions' lhs shouldn't be modified
Fri, 03 Mar 1995 11:48:05 +0100 clasohm added CPure (curried functions) and ProtoPure (ancestor of Pure and CPure)
Mon, 27 Feb 1995 17:47:57 +0100 wenzelm new in mixfix annotations: "' " (quote space) separates delimiters without
Wed, 18 Jan 1995 11:36:04 +0100 clasohm added optional precedence for body of binder;
Wed, 14 Dec 1994 10:24:54 +0100 wenzelm removed "logic1";
Thu, 08 Dec 1994 12:46:25 +0100 clasohm changed Pure's grammar and the way types are converted to nonterminals
Tue, 04 Oct 1994 13:02:16 +0100 clasohm made major changes to grammar; Isabelle94-1
Fri, 19 Aug 1994 15:37:24 +0200 wenzelm removed idT, varT, tidT, tvarT (now in lexicon.ML);
Wed, 29 Jun 1994 12:01:17 +0200 clasohm changed precedence of constrain to [4, 0], 3
Tue, 17 May 1994 14:42:34 +0200 clasohm fixed a bug in syntax_error, added "Building new grammar" message;
Wed, 11 May 1994 12:29:34 +0200 clasohm changed implode to ^
Wed, 11 May 1994 12:14:18 +0200 clasohm moved 'filter is_xid' in syn_ext
Tue, 26 Apr 1994 14:48:41 +0200 clasohm made a few cosmetic changes
Fri, 22 Apr 1994 12:43:53 +0200 clasohm changed the way a grammar is generated to allow the new parser to work;
Wed, 19 Jan 1994 14:27:46 +0100 wenzelm contains remaining parts of xgram.ML and extension.ML;
less more (0) tip