| Wed, 10 Jan 2018 12:35:03 +0100 | nipkow | tuned op's | changeset | files |
| Tue, 09 Jan 2018 20:15:36 +0100 | wenzelm | more accurate spell-checking for nested quotations / antiquotations, notably in formal comments; | changeset | files |
| Tue, 09 Jan 2018 20:03:14 +0100 | wenzelm | uniform typesetting of \isamarkupcmt and \isasymcomment; | changeset | files |