| Tue, 16 Jul 2013 18:28:45 +0200 | wenzelm | fully-automated packaging (requires Mac OS X); | changeset | files |
| Tue, 16 Jul 2013 14:46:03 +0200 | wenzelm | more robust application init; | changeset | files |
| Tue, 16 Jul 2013 14:10:10 +0200 | wenzelm | more self-contained application, with side-entry for init; | changeset | files |