| Wed, 16 Sep 2015 22:09:01 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 16 Sep 2015 21:56:00 +0200 | wenzelm | more recent JavaAppLauncher, which supports file associations; | changeset | files |
| Wed, 16 Sep 2015 21:26:37 +0200 | wenzelm | more explicit indication of bundled jdk, which is required for newer versions of JavaAppLauncher; | changeset | files |
| Wed, 16 Sep 2015 20:54:41 +0200 | wenzelm | more app properties glimpsed from infinitekind/Moneydance 2015.5; | changeset | files |
| Wed, 16 Sep 2015 20:38:06 +0200 | wenzelm | tuned whitespace; | changeset | files |
| Wed, 16 Sep 2015 16:34:33 +0200 | wenzelm | updated to polyml-5.5.3-20150916 (polyml git version cb1b36caa242); | changeset | files |