| Mon, 03 Nov 1997 17:55:55 +0100 | wenzelm | tuned: distinct_fst_string; | file | diff | annotate |
| Fri, 24 Oct 1997 17:14:41 +0200 | wenzelm | added declared: T -> string -> bool; | file | diff | annotate |
| Thu, 23 Oct 1997 12:09:48 +0200 | wenzelm | fixed prune of hidden short names; | file | diff | annotate |
| Wed, 15 Oct 1997 15:15:22 +0200 | wenzelm | tuned; | file | diff | annotate |
| Fri, 10 Oct 1997 15:51:14 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 07 Oct 1997 17:58:01 +0200 | wenzelm | tuned internal mapping table; | file | diff | annotate |
| Mon, 06 Oct 1997 18:41:39 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 01 Oct 1997 18:19:18 +0200 | wenzelm | exported separator; | file | diff | annotate |
| Wed, 01 Oct 1997 14:30:38 +0200 | wenzelm | Hierarchically structured name spaces. | file | diff | annotate |