Fri, 27 Jan 1995 12:30:36 +0100 | clasohm | moved ambiguity_level from sign.ML to Syntax/syntax.ML | changeset | files |
Fri, 27 Jan 1995 12:28:05 +0100 | clasohm | moved ambiguity_level to Syntax/syntax.ML | changeset | files |
Thu, 26 Jan 1995 13:31:36 +0100 | clasohm | added documentation of Sign.ambiguity_level | changeset | files |
Thu, 26 Jan 1995 12:44:50 +0100 | clasohm | added reference variable ambiguity_level to control ambiguity warnings | changeset | files |
Wed, 25 Jan 1995 04:00:27 +0100 | lcp | changed due to new .bib files | changeset | files |
Tue, 24 Jan 1995 12:17:49 +0100 | clasohm | added optional body priority to binder declaration | changeset | files |