Mercurial
Mercurial
>
repos
>
isabelle
/ changelog
summary
|
shortlog
| changelog |
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-30000
-10000
-3000
-1000
-300
-100
-30
-10
-7
+7
+10
+30
+100
+300
+1000
+3000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
Wed, 06 Jan 2021 14:58:13 +0100
more robust sharing, despite minimal impact on archive size;
changeset
wenzelm [Wed, 06 Jan 2021 14:58:13 +0100] rev 73086
more robust sharing, despite minimal impact on archive size;
Wed, 06 Jan 2021 14:30:58 +0100
proper LSMinimumSystemVersion for zulu-jdk-15;
changeset
wenzelm [Wed, 06 Jan 2021 14:30:58 +0100] rev 73085
proper LSMinimumSystemVersion for zulu-jdk-15;
Wed, 06 Jan 2021 14:23:57 +0100
obsolete, thanks to zulu-jdk directory layout;
changeset
wenzelm [Wed, 06 Jan 2021 14:23:57 +0100] rev 73084
obsolete, thanks to zulu-jdk directory layout;
Wed, 06 Jan 2021 14:03:49 +0100
clarified Info.plist;
changeset
wenzelm [Wed, 06 Jan 2021 14:03:49 +0100] rev 73083
clarified Info.plist;
Wed, 06 Jan 2021 13:55:48 +0100
more direct ISABELLE_JDK_HOME, thanks to zulu-jdk directory layout;
changeset
wenzelm [Wed, 06 Jan 2021 13:55:48 +0100] rev 73082
more direct ISABELLE_JDK_HOME, thanks to zulu-jdk directory layout;
Wed, 06 Jan 2021 13:47:50 +0100
prefer OpenJDK from Azul: supports more versions and platforms;
changeset
wenzelm [Wed, 06 Jan 2021 13:47:50 +0100] rev 73081
prefer OpenJDK from Azul: supports more versions and platforms; support arm64-darwin;
Wed, 06 Jan 2021 13:16:28 +0100
sort lines;
changeset
wenzelm [Wed, 06 Jan 2021 13:16:28 +0100] rev 73080
sort lines;
(0)
-30000
-10000
-3000
-1000
-300
-100
-30
-10
-7
+7
+10
+30
+100
+300
+1000
+3000
tip