| Tue, 03 May 1994 10:40:24 +0200 | lcp | post-CRC corrections | changeset | files |
| 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 |