| Tue, 07 Nov 2006 11:47:56 +0100 | wenzelm | 'const_syntax' command: allow fixed variables, renamed to 'notation'; | file | diff | annotate |
| Tue, 07 Nov 2006 09:41:14 +0100 | krauss | updated NEWS | file | diff | annotate |
| Sat, 04 Nov 2006 19:25:36 +0100 | wenzelm | tuned; | file | diff | annotate |
| Tue, 31 Oct 2006 14:58:12 +0100 | haftmann | adapted to new serializer syntax | file | diff | annotate |
| Tue, 31 Oct 2006 09:28:52 +0100 | haftmann | dropped nth_update | file | diff | annotate |
| Mon, 23 Oct 2006 16:56:35 +0200 | haftmann | (added entry) | file | diff | annotate |
| Fri, 20 Oct 2006 10:44:33 +0200 | haftmann | Symtab.foldl replaced by Symtab.fold | file | diff | annotate |