Tue, 25 Mar 1997 10:41:44 +0100 |
paulson |
Toby's better treatment of eta-contraction
|
changeset |
files
|
Mon, 24 Mar 1997 10:28:23 +0100 |
paulson |
Deleted needless parentheses
|
changeset |
files
|
Mon, 24 Mar 1997 10:27:28 +0100 |
paulson |
Deleted unnecessary rules
|
changeset |
files
|
Thu, 20 Mar 1997 19:12:20 +0100 |
wenzelm |
fixed font names;
|
changeset |
files
|
Thu, 20 Mar 1997 18:28:05 +0100 |
wenzelm |
exit_use_dir;
|
changeset |
files
|
Thu, 20 Mar 1997 18:27:23 +0100 |
wenzelm |
isatool usedir;
|
changeset |
files
|
Thu, 20 Mar 1997 18:27:05 +0100 |
wenzelm |
exit_use_dir;
|
changeset |
files
|
Thu, 20 Mar 1997 12:34:08 +0100 |
wenzelm |
remove empty dirs;
|
changeset |
files
|
Thu, 20 Mar 1997 11:39:40 +0100 |
wenzelm |
isatool usedir;
|
changeset |
files
|
Thu, 20 Mar 1997 11:38:58 +0100 |
wenzelm |
improved session names;
|
changeset |
files
|
Thu, 20 Mar 1997 11:32:57 +0100 |
wenzelm |
isatool usedir;
|
changeset |
files
|
Thu, 20 Mar 1997 11:31:47 +0100 |
wenzelm |
*** empty log message ***
|
changeset |
files
|