| Thu, 15 Jul 2021 16:35:45 +0200 | wenzelm | build.props for isabelle.jar, including isabelle.jedit; | file | diff | annotate |
| Sun, 10 Jan 2021 22:17:11 +0100 | wenzelm | tuned message; | file | diff | annotate |
| Mon, 23 Oct 2017 19:30:39 +0200 | wenzelm | updated to jdk-8u152, which is for x86_64 only; | file | diff | annotate |
| Thu, 10 Mar 2016 17:30:04 +0100 | wenzelm | prefer plain "isabelle" from PATH within Isabelle settings environment; | file | diff | annotate |
| Sat, 02 Jan 2016 17:38:00 +0100 | wenzelm | proper platform_path for Windows; | file | diff | annotate |
| Wed, 30 Sep 2015 21:32:44 +0200 | wenzelm | renamed jvmpath to platform_path; | file | diff | annotate |
| Mon, 14 Sep 2015 16:06:32 +0200 | wenzelm | added isabelle jedit_client; | file | diff | annotate |