| Thu, 17 Sep 2015 15:47:24 +0200 | wenzelm | isabelle update_cartouches; | changeset | files |
| Wed, 16 Sep 2015 23:48:35 +0200 | wenzelm | recode all text, which is relevant for Session.save on non-ASCII directory; | changeset | files |
| 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 |