| Fri, 16 Feb 2007 22:13:15 +0100 | wenzelm | unified arity parser/arguments; | file | diff | annotate |
| Fri, 19 Jan 2007 22:08:28 +0100 | wenzelm | moved parts to spec_parse.ML; | file | diff | annotate |
| Fri, 15 Dec 2006 00:08:06 +0100 | wenzelm | avoid conflict with Alice keywords: renamed pack -> implode, unpack -> explode, any -> many, avoided assert; | file | diff | annotate |
| Thu, 30 Nov 2006 14:17:34 +0100 | wenzelm | added mixfix'; | file | diff | annotate |
| Tue, 21 Nov 2006 18:07:37 +0100 | wenzelm | notes: proper kind; | file | diff | annotate |
| Fri, 17 Nov 2006 02:19:51 +0100 | wenzelm | added where_; | file | diff | annotate |
| Tue, 14 Nov 2006 22:17:03 +0100 | wenzelm | added for_simple_fixes, specification; | file | diff | annotate |
| Sun, 12 Nov 2006 21:14:51 +0100 | wenzelm | removed dead code; | file | diff | annotate |
| Wed, 11 Oct 2006 22:55:20 +0200 | wenzelm | added begin parser; | file | diff | annotate |
| Wed, 11 Oct 2006 00:27:35 +0200 | wenzelm | added opt_begin; | file | diff | annotate |
| Tue, 01 Aug 2006 11:32:43 +0200 | wenzelm | exported attrib; | file | diff | annotate |
| Sun, 11 Jun 2006 21:59:25 +0200 | wenzelm | added for_fixes; | file | diff | annotate |
| Wed, 07 Jun 2006 02:01:34 +0200 | wenzelm | added locale_insts; | file | diff | annotate |
| Sun, 07 May 2006 00:22:05 +0200 | wenzelm | removed 'concl is' patterns; | file | diff | annotate |
| Thu, 27 Apr 2006 15:06:35 +0200 | wenzelm | tuned basic list operators (flat, maps, map_filter); | file | diff | annotate |