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 |