| Fri, 18 Sep 2015 16:42:19 +0100 | paulson | Merge | changeset | files |
| Fri, 18 Sep 2015 16:27:37 +0100 | paulson | Massive revisions, as a valid path must now be continously differentiable (C!) | changeset | files |
| Thu, 17 Sep 2015 15:48:06 +0200 | wenzelm | isabelle update_cartouches; | changeset | files |
| 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 |