| 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 |