Sat, 02 May 1998 13:27:06 +0200 |
wenzelm |
added accesses: string -> string list;
|
file |
diff |
annotate
|
Wed, 29 Apr 1998 11:25:26 +0200 |
wenzelm |
added append;
|
file |
diff |
annotate
|
Mon, 29 Dec 1997 14:30:38 +0100 |
wenzelm |
removed declared;
|
file |
diff |
annotate
|
Sun, 28 Dec 1997 15:00:20 +0100 |
wenzelm |
improved internal representation;
|
file |
diff |
annotate
|
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
|