Thu, 12 Feb 1998 17:43:53 +0100 |
wenzelm |
Sign.merge vs. Sign.nontriv_merge;
|
changeset |
files
|
Thu, 12 Feb 1998 16:54:01 +0100 |
wenzelm |
tuned comments;
|
changeset |
files
|
Thu, 12 Feb 1998 16:43:05 +0100 |
wenzelm |
oops;
|
changeset |
files
|
Thu, 12 Feb 1998 16:38:08 +0100 |
wenzelm |
tuned print_cs;
|
changeset |
files
|
Thu, 12 Feb 1998 15:43:50 +0100 |
wenzelm |
updated;
|
changeset |
files
|
Thu, 12 Feb 1998 15:00:04 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
Thu, 12 Feb 1998 14:53:00 +0100 |
wenzelm |
added explicit signature;
|
changeset |
files
|
Thu, 12 Feb 1998 14:52:17 +0100 |
wenzelm |
improved comments;
|
changeset |
files
|
Thu, 12 Feb 1998 12:37:53 +0100 |
wenzelm |
fixed add_trrules: intern root;
|
changeset |
files
|
Thu, 12 Feb 1998 12:36:55 +0100 |
wenzelm |
export map_trrule;
|
changeset |
files
|
Thu, 12 Feb 1998 12:36:28 +0100 |
wenzelm |
tuned add_trrules;
|
changeset |
files
|
Thu, 12 Feb 1998 12:35:50 +0100 |
wenzelm |
improved is_letter etc.;
|
changeset |
files
|