Wed, 19 Jan 1994 14:27:46 +0100 | wenzelm | contains remaining parts of xgram.ML and extension.ML; | changeset | files |
Wed, 19 Jan 1994 14:23:18 +0100 | wenzelm | minor internal changes; | changeset | files |
Wed, 19 Jan 1994 14:22:37 +0100 | wenzelm | MAJOR INTERNAL CHANGE: extend and merge operations of syntax tables | changeset | files |