| Tue, 30 Apr 2019 20:54:07 +0200 | wenzelm | more uniform Isabelle splash screen -- avoid problems with jEdit splash and Java 11 on some Linux window managers; | file | diff | annotate |
| Wed, 05 Dec 2018 19:42:40 +0100 | wenzelm | eliminated old makedist_bundle and remote_dmg: build_release does everything in Scala; | file | diff | annotate | base |