Fri, 21 Apr 2017 13:51:43 +0200 | wenzelm | more uniform isabelle_scala; | file | diff | annotate |
Sun, 15 Jan 2017 16:42:37 +0100 | wenzelm | updated to jvm-1.8; | file | diff | annotate |
Sun, 15 Jan 2017 15:51:33 +0100 | wenzelm | clarified settings; | file | diff | annotate |
Wed, 14 Sep 2016 14:37:38 +0200 | wenzelm | discontinued global etc/abbrevs; | file | diff | annotate |
Sat, 13 Aug 2016 23:45:29 +0200 | wenzelm | gnuplot presentation similar to former isatest-statistics; | file | diff | annotate |
Thu, 14 Jul 2016 12:21:12 +0200 | wenzelm | prefer HTTPS; | file | diff | annotate |
Sun, 03 Apr 2016 23:56:52 +0200 | wenzelm | renamed ISABELLE_BUILD_JAVA_OPTIONS to ISABELLE_TOOL_JAVA_OPTIONS; | file | diff | annotate |