| Tue, 24 May 2016 15:53:16 +0200 | wenzelm | simplified syntax: Parse.term corresponds to Args.term etc.; | changeset | files |
| Tue, 24 May 2016 15:24:32 +0200 | wenzelm | clarified syntax categories; | changeset | files |
| Tue, 24 May 2016 15:16:57 +0200 | wenzelm | cartouche abbreviations work both for " as well; | changeset | files |