| 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 |
| Wed, 22 Jan 2014 21:14:27 +0100 | ballarin | Locales paper has appeared in print. | changeset | files |
| Wed, 22 Jan 2014 17:22:26 +0100 | wenzelm | tuned spelling; | changeset | files |
| Wed, 22 Jan 2014 17:22:08 +0100 | wenzelm | removed junk; | changeset | files |
| Wed, 22 Jan 2014 17:14:27 +0100 | wenzelm | merged | changeset | files |
| Wed, 22 Jan 2014 17:14:09 +0100 | wenzelm | tuned; | changeset | files |
| 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 |