| Wed, 06 Jan 2021 15:14:48 +0100 | wenzelm | discontinued somethat pointless sharing: too complicated; | changeset | files |
| Wed, 06 Jan 2021 15:08:21 +0100 | wenzelm | less verbose; | changeset | files |
| Wed, 06 Jan 2021 14:58:13 +0100 | wenzelm | more robust sharing, despite minimal impact on archive size; | changeset | files |
| Wed, 06 Jan 2021 14:30:58 +0100 | wenzelm | proper LSMinimumSystemVersion for zulu-jdk-15; | changeset | files |
| Wed, 06 Jan 2021 14:23:57 +0100 | wenzelm | obsolete, thanks to zulu-jdk directory layout; | changeset | files |
| Wed, 06 Jan 2021 14:03:49 +0100 | wenzelm | clarified Info.plist; | changeset | files |
| Wed, 06 Jan 2021 13:55:48 +0100 | wenzelm | more direct ISABELLE_JDK_HOME, thanks to zulu-jdk directory layout; | changeset | files |