| Tue, 09 Jan 2018 20:03:14 +0100 | wenzelm | uniform typesetting of \isamarkupcmt and \isasymcomment; | changeset | files |
| Tue, 09 Jan 2018 19:25:01 +0100 | wenzelm | more accurate position for enclosing cartouche; | changeset | files |
| Tue, 09 Jan 2018 18:30:21 +0100 | wenzelm | tuned; | changeset | files |