| Wed, 23 Jul 2014 21:01:28 +0200 | wenzelm | more frugal edits; | changeset | files |
| Wed, 23 Jul 2014 18:16:04 +0200 | wenzelm | enable hires explictly, as seen for other high-end Java applications on the Web; | changeset | files |
| Wed, 23 Jul 2014 18:14:59 +0200 | wenzelm | more markup; | changeset | files |