| Tue, 20 Oct 2015 20:45:33 +0200 | wenzelm | another antiquotation short form: undecorated cartouche as alias for @{text}; | changeset | files |
| Mon, 19 Oct 2015 23:07:17 +0200 | wenzelm | repaired document; | changeset | files |
| Mon, 19 Oct 2015 23:00:07 +0200 | wenzelm | more symbols; | changeset | files |
| Mon, 19 Oct 2015 20:31:13 +0200 | wenzelm | tuned English; | changeset | files |
| Mon, 19 Oct 2015 20:29:29 +0200 | wenzelm | more symbols, with swapped defaults: old-style ASCII syntax uses "ASCII" print mode; | changeset | files |
| Mon, 19 Oct 2015 17:45:36 +0200 | wenzelm | tuned document; | changeset | files |