| Wed, 22 Jan 2014 17:02:05 +0100 | wenzelm | prefer rail cartouche -- avoid back-slashed quotes; | changeset | files |
| Wed, 22 Jan 2014 16:03:11 +0100 | wenzelm | tuned signature; | changeset | files |
| Wed, 22 Jan 2014 15:28:19 +0100 | wenzelm | avoid breakdown of document preparation, which does not understand cartouche tokens yet; | changeset | files |