| Thu, 15 Jul 2021 16:01:04 +0200 | wenzelm | more robust; | file | diff | annotate |
| Tue, 22 Dec 2020 23:59:45 +0100 | wenzelm | support jdk-15; | file | diff | annotate |
| Mon, 13 Jan 2020 11:19:24 +0100 | wenzelm | clarified output channel; | file | diff | annotate |
| Fri, 20 Apr 2018 11:44:09 +0200 | wenzelm | minimal Java source version for jdk-10.0.1; | file | diff | annotate |
| Wed, 30 Sep 2015 21:32:44 +0200 | wenzelm | renamed jvmpath to platform_path; | file | diff | annotate |
| Wed, 29 Aug 2012 21:20:46 +0200 | wenzelm | more formal isabelle makedist from repository; | file | diff | annotate |