Thu, 07 Dec 1995 14:25:45 +0100 | clasohm | removed quotes from consts and syntax sections | changeset | files |
Thu, 07 Dec 1995 14:24:32 +0100 | clasohm | removed quotes from syntax and consts sections | changeset | files |
Wed, 06 Dec 1995 14:53:55 +0100 | clasohm | fixed bug: cur_thyname was overwritten because of early assignment | changeset | files |
Fri, 01 Dec 1995 14:20:09 +0100 | clasohm | changed typeDecl | changeset | files |
Fri, 01 Dec 1995 14:17:50 +0100 | clasohm | removed quotes from types section | changeset | files |
Fri, 01 Dec 1995 13:54:27 +0100 | clasohm | added const_type to type_decl | changeset | files |
Fri, 01 Dec 1995 13:41:48 +0100 | clasohm | corrected diagrams for type and simpleType | changeset | files |