| Thu, 01 Jun 2017 17:36:29 +0200 | wenzelm | proper update of already existing preview; | changeset | files |
| Thu, 01 Jun 2017 15:26:22 +0200 | wenzelm | tuned signature; | changeset | files |
| Thu, 01 Jun 2017 15:19:50 +0200 | wenzelm | tuned signature; | changeset | files |
| Thu, 01 Jun 2017 12:27:20 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 01 Jun 2017 11:57:04 +0200 | wenzelm | uniform output of HTML as XML; | changeset | files |
| Wed, 31 May 2017 21:48:32 +0200 | wenzelm | tuned layout; | changeset | files |
| Wed, 31 May 2017 21:37:50 +0200 | wenzelm | modernized generated HTML; | changeset | files |