| Sun, 16 Jul 2000 21:00:10 +0200 | wenzelm | AST translation rules no longer require constant head on LHS; | file | diff | annotate |
| Sun, 21 May 2000 14:31:41 +0200 | wenzelm | added read_sort; | file | diff | annotate |
| Mon, 17 Apr 2000 13:57:55 +0200 | wenzelm | Pretty.chunks; | file | diff | annotate |
| Wed, 27 Oct 1999 11:15:35 +0200 | oheimb | symbols in (error) messages now consistently with single backslash | file | diff | annotate |
| Fri, 16 Jul 1999 22:25:07 +0200 | wenzelm | tuned dest_lexicon; | file | diff | annotate |
| Tue, 09 Mar 1999 12:11:29 +0100 | wenzelm | token translation: real; | file | diff | annotate |
| Fri, 29 Jan 1999 17:12:34 +0100 | oheimb | corrected output of symbols for several (probably not all) relevant functions | file | diff | annotate |
| Tue, 20 Oct 1998 17:52:52 +0200 | wenzelm | made SML/NJ happy; | file | diff | annotate |
| Tue, 20 Oct 1998 16:33:13 +0200 | wenzelm | no open; | file | diff | annotate |
| Sat, 02 May 1998 13:27:42 +0200 | wenzelm | added trfun_names; | file | diff | annotate |
| Mon, 09 Mar 1998 16:12:39 +0100 | wenzelm | adapted to symbols, scan; | file | diff | annotate |
| Thu, 12 Feb 1998 12:36:55 +0100 | wenzelm | export map_trrule; | file | diff | annotate |
| Mon, 29 Dec 1997 14:29:34 +0100 | wenzelm | removed distinct_fst_string; | file | diff | annotate |
| Sun, 28 Dec 1997 14:56:44 +0100 | wenzelm | renamed Symtab.null to Symtab.empty; | file | diff | annotate |
| Wed, 05 Nov 1997 11:41:18 +0100 | wenzelm | adapted extend_trfunsT; | file | diff | annotate |
| Mon, 03 Nov 1997 17:55:55 +0100 | wenzelm | tuned: distinct_fst_string; | file | diff | annotate |
| Fri, 10 Oct 1997 15:48:10 +0200 | wenzelm | constify: qualified is const; | file | diff | annotate |
| Mon, 06 Oct 1997 18:39:25 +0200 | wenzelm | added simple_str_of_sort; | file | diff | annotate |
| Mon, 06 Oct 1997 18:27:55 +0200 | wenzelm | added pretty_sort; | file | diff | annotate |
| Mon, 29 Sep 1997 14:11:18 +0200 | wenzelm | improved warning; | file | diff | annotate |
| Fri, 18 Jul 1997 13:35:15 +0200 | wenzelm | tuned warning; | file | diff | annotate |
| 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 |