Sun, 03 Dec 2017 19:09:42 +0100 | wenzelm | simplified session (again, see 39e29972cb96): WordExamples requires < 1s; | changeset | files |
Sun, 03 Dec 2017 19:00:55 +0100 | wenzelm | tuned; | changeset | files |
Sun, 03 Dec 2017 18:53:49 +0100 | wenzelm | misc tuning and modernization; | changeset | files |