Also missing: arm64-linux, arm64-darwin (relavant for native JDK on macOS).
- Queries
- All Stories
- Search
- Advanced Search
- Transactions
- Transaction Logs
Feed All Stories
All Stories
All Stories
Jan 7 2021
Jan 7 2021
makarius added a comment to T24: Missing minisat.dll for nitpick/kodkod on Windows (and Apple Silicon).
See Isabelle/162b71f7e554 and Isabelle/11de287ed481.
makarius committed rISABELLE131ab1a941dd: try GTK 3: some visual dropouts, but more stable e.g. in Sidekick "isabelle….
try GTK 3: some visual dropouts, but more stable e.g. in Sidekick "isabelle…
Jan 6 2021
Jan 6 2021
proper purge for arm64-darwin;
makarius committed rISABELLEbf573ed376ef: detect arm64-darwin more reliably: uname could be in x86_64 mode, e.g. within….
detect arm64-darwin more reliably: uname could be in x86_64 mode, e.g. within…
makarius committed rISABELLE99b77188d4f7: discontinued somethat pointless sharing: too complicated;.
discontinued somethat pointless sharing: too complicated;
updated jdk-15.0.1+9, including arm64-darwin;
makarius committed rISABELLE178c9d04e08c: more robust sharing, despite minimal impact on archive size;.
more robust sharing, despite minimal impact on archive size;
obsolete, thanks to zulu-jdk directory layout;
proper LSMinimumSystemVersion for zulu-jdk-15;
clarified Info.plist;
makarius committed rISABELLEe67d659d7a41: more direct ISABELLE_JDK_HOME, thanks to zulu-jdk directory layout;.
more direct ISABELLE_JDK_HOME, thanks to zulu-jdk directory layout;
makarius committed rISABELLE120ffea2c244: prefer OpenJDK from Azul: supports more versions and platforms;.
prefer OpenJDK from Azul: supports more versions and platforms;
recovered file-type icons from macos_app;
Jan 5 2021
Jan 5 2021
clarified application init;
recovered bundle icons (not application) from macos_app;
proper app directory setup, without macos_app component;
prefer official Java 9 operations;
proper dock icon for macOS;
proper isabelle_home_prefix;
makarius committed rISABELLEa95f5ae5a12a: discontinued macOS JavaAppLauncher: re-use plain shell script;.
discontinued macOS JavaAppLauncher: re-use plain shell script;
tuned -- generate Info.plist in Isabelle/Scala;
more portable component setup;
updated according to ~~/etc/settings;
makarius committed rISABELLE523806d71dea: proper treatment of XML.Wrapped_Elem, e.g. Markup.class_parameter;.
proper treatment of XML.Wrapped_Elem, e.g. Markup.class_parameter;
tuned -- generate script by Isabelle/Scala;
proper theory name, e.g. for HTML/PIDE presentation;
more robust and permissive;
present theory using PIDE markup;
clarified signature;
pruvisto committed rISABELLEc03a148110cc: HOL-Library.Multiset: new notation for prod_mset, consistent with sum_mset.
HOL-Library.Multiset: new notation for prod_mset, consistent with sum_mset
pruvisto committed rAFP8bf81decb8ac: adapted to isabelle-dev/74be162a47cd: added some renamings that were missed….
adapted to isabelle-dev/74be162a47cd: added some renamings that were missed…
Jan 4 2021
Jan 4 2021
more documentation;
override existing action, to retain menu item;
adapted to isabelle-dev/74be162a47cd
pruvisto committed rISABELLE7ad9f197ca7e: HOL-Complex_Analysis: coefficient asymptotics for meromorphic functions.
HOL-Complex_Analysis: coefficient asymptotics for meromorphic functions
HOL-Library: Changed notation for sum_mset
misc tuning and clarification;
proper thread position for reports;
Jan 3 2021
Jan 3 2021
alternative shortcut, notably for macOS;
action isabelle.toggle-full-screen;
some attempts at multi-platform full-screen mode;
clarified HTML presentation elements;
makarius committed rISABELLE03e78b35ebbc: more robust bootstrap: Isabelle-jEdit.shasum could be absent;.
more robust bootstrap: Isabelle-jEdit.shasum could be absent;
Jan 2 2021
Jan 2 2021
avoid multiple uses of the same ML file;
more standard ML file/module names;
more standard headers;
tuned whitespace (amending a4bffc0de967);
clarified signature: absorb XZ.Cache into XML.Cache;
persistent hash code: much faster caching;
support more direct hash-consing via XML.Cache;
clarified boundary case;
more uniform default --- hardly relevant in practice;
proper ssh_port (amending ffd8283b7be0);
clarified signature --- internal Cache.none;
more verbosity for potentially bulky presentation;
tuned signature -- prefer Isabelle/ML structure Integer;
makarius committed rISABELLEf602a380e4f2: tuned signature -- prefer Isabelle/ML structure Integer (despite minor….
tuned signature -- prefer Isabelle/ML structure Integer (despite minor…
tuned signature -- prefer Isabelle/ML structure Integer;
Jan 1 2021
Jan 1 2021
Full-screen problem: https://bugs.openjdk.java.net/browse/JDK-8256465
See also OpenJDK 16 development items:
Dec 31 2020
Dec 31 2020
Lars Hupel <lars.hupel@mytum.de> committed rAFP459344fb0c40: Isabelle_Meta_Model: avoid multiple use of ML_file.
Isabelle_Meta_Model: avoid multiple use of ML_file
Lars Hupel <lars.hupel@mytum.de> committed rAFP0327fb7d3352: ensure that at least an empty report file exists.
ensure that at least an empty report file exists
Dec 30 2020
Dec 30 2020
Lars Hupel <lars.hupel@mytum.de> committed rAFP0c0f25783758: delete report file if already exists.
delete report file if already exists
Dec 29 2020
Dec 29 2020
Dec 28 2020
Dec 28 2020
Dec 27 2020
Dec 27 2020
Added tag Isabelle2021-RC1 for changeset d4b67dc6f4eb
updated for release;
updated URL (auto-forwarded);
updated for release;
makarius committed rISABELLE238ddf525da4: clarified HTML presentation, e.g. avoid bulky jobs like HOL or HOL-Analysis in….
clarified HTML presentation, e.g. avoid bulky jobs like HOL or HOL-Analysis in…
follow Phabricator update 2020 Week 42;