Tue, 09 Dec 2014 19:52:26 +0100 | wenzelm | proper alt_string markup (cf. 2ceb05ee0331); | changeset | files |
Tue, 09 Dec 2014 19:39:40 +0100 | wenzelm | tuned spelling; | changeset | files |
Tue, 09 Dec 2014 19:01:07 +0100 | wenzelm | clarified language context, e.g. relevant for symbol completion within cartouches; | changeset | files |