| Tue, 05 Jan 2021 22:05:18 +0100 | wenzelm | more robust; | changeset | files |
| Tue, 05 Jan 2021 21:58:00 +0100 | wenzelm | prefer official Java 9 operations; | changeset | files |
| Tue, 05 Jan 2021 21:47:36 +0100 | wenzelm | obsolete; | changeset | files |
| Tue, 05 Jan 2021 21:46:35 +0100 | wenzelm | proper dock icon for macOS; | changeset | files |
| Tue, 05 Jan 2021 20:53:57 +0100 | wenzelm | proper isabelle_home_prefix; | changeset | files |
| Tue, 05 Jan 2021 20:29:57 +0100 | wenzelm | discontinued macOS JavaAppLauncher: re-use plain shell script; | changeset | files |
| Tue, 05 Jan 2021 19:34:32 +0100 | wenzelm | tuned whitespace; | changeset | files |