- Queries
- All Stories
- Search
- Advanced Search
- Transactions
- Transaction Logs
Feed Advanced Search
Advanced Search
Advanced Search
Jan 5 2021
Jan 5 2021
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;
Jan 4 2021
Jan 4 2021
more documentation;
override existing action, to retain menu item;
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 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;
updated for release;
proper NEWS according to current situation;
updated for release;
Disabled now (notably Isabelle2021-RC1), see Isabelle/6ead333e450d and AFP/2bccd7c8634c.
For improved portability (also for arm64-darwin) it might be better to exchange the app launcher as well, using a plain shell script instead of native executable.
tuned (see also b5333fc056da);
Dec 24 2020
Dec 24 2020
support ISABELLE_APPLE_PLATFORM64 (Apple Silicon);
makarius committed rISABELLEa4efee8f8842: updated to sqlite-jdbc-3.34.0, with support for native arm64-darwin;.
updated to sqlite-jdbc-3.34.0, with support for native arm64-darwin;
makarius committed rISABELLE7ea253f93606: more robust: clarified error when merging Hoare_Logic + Hoare_Logic_Abort;.
more robust: clarified error when merging Hoare_Logic + Hoare_Logic_Abort;
makarius committed rISABELLEa562a0f656e8: more robust components_base: avoid fragile directory links on Windows (or….
more robust components_base: avoid fragile directory links on Windows (or…
Dec 23 2020
Dec 23 2020
clarified defaults: disabled in "isabelle build";
adapted to Isabelle/b1be35908165;
avoid memory problems on test machine;
makarius committed rISABELLE6ead333e450d: more robust defaults: spurious problems with parallel invocations and….
more robust defaults: spurious problems with parallel invocations and…
avoid multiple uses of the same ML file;
tuned document, notably authors and sections;
clarified presentation of files for each theory;
makarius committed rISABELLE52ba78df4088: disable auto_nitpick for now: spurious problems with non-termination e.g. in….
disable auto_nitpick for now: spurious problems with non-termination e.g. in…
makarius committed rISABELLEb1be35908165: clarified modules: avoid multiple uses of the same ML file;.
clarified modules: avoid multiple uses of the same ML file;
makarius committed rISABELLEd231d71d27b4: clarified session: avoid merge of different syntax from different Hoare logics;.
clarified session: avoid merge of different syntax from different Hoare logics;
makarius committed rISABELLE9cc431444435: clarified modules: avoid multiple uses of the same ML file;.
clarified modules: avoid multiple uses of the same ML file;
clarified syntax modes, avoid obsolete "xsymbols";
clarified fonts, notably for Windows L&F;
more friendly desktop application on macOS;
Dec 21 2020
Dec 21 2020
less aggressive auto-build: avoid change of running jar;
clarified window size;
makarius committed rISABELLE51442c6dc296: more robust Java monitor: avoid odd warning about insecure connection;.
more robust Java monitor: avoid odd warning about insecure connection;
clarified modules;
clarified modules;
misc tuning for release;
makarius committed rISABELLE162b71f7e554: rebuild component with proper ZIPPERPOSITION_HOME for sledgehammer;.
rebuild component with proper ZIPPERPOSITION_HOME for sledgehammer;