| Thu, 23 Jan 2014 14:33:54 +0100 | hoelzl | hide extended.Fin in code generator output | changeset | files |
| Thu, 23 Jan 2014 14:26:16 +0100 | wenzelm | no document for Cartouche_Examples: avoid problems typesetting "\001"; | changeset | files |
| Wed, 22 Jan 2014 23:51:26 +0100 | wenzelm | NEWS; | changeset | files |
| Wed, 22 Jan 2014 23:19:40 +0100 | wenzelm | merged | changeset | files |
| Wed, 22 Jan 2014 23:19:10 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 22 Jan 2014 22:32:28 +0100 | wenzelm | observe local syntax mode (according to e3a39dae2004, which was lost in 0f3ad56548bc), e.g. relevant for "abbreviation (output)" with non-terminating syntax; | changeset | files |
| Wed, 22 Jan 2014 21:33:50 +0100 | wenzelm | clarified approximative syntax of thy_load commands: first name after command keyword, after cleaning wrt. tags and cmts; | changeset | files |