| Wed, 21 Jun 1995 15:01:07 +0200 | clasohm | removed \...\ inside strings | changeset | files |
| Wed, 21 Jun 1995 11:35:10 +0200 | nipkow | Added remark that \...\ in strings is unnecessary. | changeset | files |
| Wed, 14 Jun 1995 12:05:13 +0200 | clasohm | removed 'raw' productions from gram datatype; replaced mk_gram by add_prods; | changeset | files |
| Tue, 13 Jun 1995 13:38:54 +0200 | clasohm | added CHOL | changeset | files |
| Mon, 12 Jun 1995 15:01:03 +0200 | clasohm | fixed bug in mfix_to_xprod: lambda productions' lhs shouldn't be modified | changeset | files |
| Tue, 06 Jun 1995 10:40:01 +0200 | lcp | converted to LaTeX-2e | changeset | files |
| Tue, 06 Jun 1995 10:33:32 +0200 | lcp | Now string_of_vname checks for the empty variable name, | changeset | files |
| Fri, 02 Jun 1995 10:38:48 +0200 | lcp | Corrected comments in headers | changeset | files |