| Mon, 02 May 1994 12:34:56 +0200 | wenzelm | changed translation of type applications according to new grammar; | changeset | files |
| Wed, 27 Apr 1994 11:27:33 +0200 | lcp | added many more filenames to FILES and EX_FILES | changeset | files |
| Tue, 26 Apr 1994 14:48:41 +0200 | clasohm | made a few cosmetic changes | changeset | files |