isabelle: Changelog

wenzelm [Tue, 05 Jan 2021 21:58:00 +0100] rev 73072

prefer official Java 9 operations;

wenzelm [Tue, 05 Jan 2021 21:47:36 +0100] rev 73071

obsolete;

wenzelm [Tue, 05 Jan 2021 21:46:35 +0100] rev 73070

proper dock icon for macOS;

wenzelm [Tue, 05 Jan 2021 20:53:57 +0100] rev 73069

proper isabelle_home_prefix; proper isabelle_options, with link;

wenzelm [Tue, 05 Jan 2021 20:29:57 +0100] rev 73068

discontinued macOS JavaAppLauncher: re-use plain shell script; more uniform java_options for all platforms;

wenzelm [Tue, 05 Jan 2021 19:34:32 +0100] rev 73067

tuned whitespace;

wenzelm [Tue, 05 Jan 2021 19:18:57 +0100] rev 73066

tuned -- generate Info.plist in Isabelle/Scala;

wenzelm [Tue, 05 Jan 2021 19:00:25 +0100] rev 73065

tuned signature;

wenzelm [Tue, 05 Jan 2021 18:55:24 +0100] rev 73064

tuned signature;

wenzelm [Tue, 05 Jan 2021 18:51:05 +0100] rev 73063

updated according to ~~/etc/settings; tuned;

isabelle