| Tue, 16 May 2006 21:33:11 +0200 | wenzelm | added add_modesyntax; | file | diff | annotate |
| Thu, 11 May 2006 19:19:33 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 02 May 2006 20:42:37 +0200 | wenzelm | maintain implicit syntax mode; | file | diff | annotate |
| Thu, 27 Apr 2006 15:06:35 +0200 | wenzelm | tuned basic list operators (flat, maps, map_filter); | file | diff | annotate |
| Mon, 24 Apr 2006 16:35:30 +0200 | haftmann | moved coalesce to AList, added equality predicates to library | file | diff | annotate |
| Sun, 09 Apr 2006 18:51:21 +0200 | wenzelm | add_syntax: actually observe print mode; | file | diff | annotate |
| Sat, 08 Apr 2006 22:51:25 +0200 | wenzelm | simplified handling of authentic syntax (cf. early externing in consts.ML); | file | diff | annotate |
| Sat, 11 Feb 2006 17:17:51 +0100 | wenzelm | tuned mixfixes, mixfix_conflict; | file | diff | annotate |
| Fri, 10 Feb 2006 02:22:39 +0100 | wenzelm | Local syntax depending on theory syntax. | file | diff | annotate |