| Wed, 06 Dec 2017 21:01:01 +0100 | wenzelm | merged | changeset | files |
| Wed, 06 Dec 2017 20:43:09 +0100 | wenzelm | prefer control symbol antiquotations; | changeset | files |
| Wed, 06 Dec 2017 19:34:59 +0100 | wenzelm | more robust, e.g. when Sidekick produces multi-selection; | changeset | files |
| Wed, 06 Dec 2017 18:59:33 +0100 | wenzelm | prefer control symbol antiquotations; | changeset | files |
| Wed, 06 Dec 2017 15:46:35 +0100 | wenzelm | more embedded cartouche arguments; | changeset | files |
| Wed, 06 Dec 2017 14:19:36 +0100 | wenzelm | name mangling for Latex macros; | changeset | files |
| Wed, 06 Dec 2017 16:01:15 +0100 | nipkow | removed (un)important tags again to make latex happy | changeset | files |