| Wed, 13 Jan 2016 00:12:43 +0100 | wenzelm | more good NEWS; | changeset | files |
| Tue, 12 Jan 2016 23:40:33 +0100 | wenzelm | misc tuning and modernization; | changeset | files |
| Tue, 12 Jan 2016 20:05:53 +0100 | wenzelm | merged | changeset | files |
| Tue, 12 Jan 2016 19:58:17 +0100 | wenzelm | updated old screenshots, added new screenshots; | changeset | files |
| Tue, 12 Jan 2016 15:43:26 +0100 | wenzelm | more explicit errors for control symbols that are left-over after Markdown parsing; | changeset | files |
| Tue, 12 Jan 2016 14:41:35 +0100 | wenzelm | removed in anticipation of c92d82c3f41b -- demolition after renovation; | changeset | files |
| Tue, 12 Jan 2016 11:49:35 +0100 | wenzelm | eliminated old defs; | changeset | files |
| Tue, 12 Jan 2016 11:48:43 +0100 | wenzelm | eliminated old defs; | changeset | files |