tuned whitespace;

tuned -- generate Info.plist in Isabelle/Scala;

tuned signature;

tuned signature;

updated according to ~~/etc/settings; tuned;

more portable component setup;

clarified quotes;

tuned -- generate script by Isabelle/Scala;

proper treatment of XML.Wrapped_Elem, e.g. Markup.class_parameter;

proper theory name, e.g. for HTML/PIDE presentation;

more robust and permissive;

present theory using PIDE markup;

clarified signature;

tuned signature;

tuned

HOL-Library.Multiset: new notation for prod_mset, consistent with sum_mset

merged

more documentation;

override existing action, to retain menu item;

HOL-Complex_Analysis: coefficient asymptotics for meromorphic functions

HOL-Library: Changed notation for sum_mset

tuned;

proper thread position for reports;

tuned signature;

misc tuning and clarification;

tuned signature;

tuned;

alternative shortcut, notably for macOS;

action isabelle.toggle-full-screen;

some attempts at multi-platform full-screen mode;

more operations;

clarified HTML presentation elements;

more robust bootstrap: Isabelle-jEdit.shasum could be absent;

tuned whitespace (amending a4bffc0de967);

clarified caching;

persistent hash code: much faster caching;

clarified signature: absorb XZ.Cache into XML.Cache;

support more direct hash-consing via XML.Cache;

tuned;

tuned signature;

clarified boundary case;

more uniform default --- hardly relevant in practice;

proper ssh_port (amending ffd8283b7be0);

clarified signature --- internal Cache.none;

tuned comments;

more verbosity for potentially bulky presentation;

tuned signature -- prefer Isabelle/ML structure Integer (despite minor confusion due to canonical argument order of "pow");

tuned signature -- prefer Isabelle/ML structure Integer;

tuned signature -- prefer Isabelle/ML structure Integer;

more lemmas

added lemmas

added lemma

tuned whitespace;

Added tag Isabelle2021-RC1 for changeset d4b67dc6f4eb

updated for release;

clarified HTML presentation, e.g. avoid bulky jobs like HOL or HOL-Analysis in applications;

follow Phabricator update 2020 Week 42;

updated for release;

tuned;

proper NEWS according to current situation;

updated for release;

tuned (see also b5333fc056da);

A few more simprules for iff-reasoning

infinite products iff simprule

merged

merged

Two biconditional simprules for summable

updated to sqlite-jdbc-3.34.0, with support for native arm64-darwin;

support ISABELLE_APPLE_PLATFORM64 (Apple Silicon);

more robust: clarified error when merging Hoare_Logic + Hoare_Logic_Abort;

more robust components_base: avoid fragile directory links on Windows (or Cygwin);

more NEWS;

merged

avoid memory problems on test machine;

more robust defaults: spurious problems with parallel invocations and interrupts;

more interrupts;

avoid multiple uses of the same ML file;

tuned document, notably authors and sections;

clarified presentation of files for each theory;

disable auto_nitpick for now: spurious problems with non-termination e.g. in HOL-Hoare examples;

clarified modules: avoid multiple uses of the same ML file; clarified concrete vs. abstract syntax;

clarified session: avoid merge of different syntax from different Hoare logics;

clarified modules: avoid multiple uses of the same ML file;

clarified syntax modes, avoid obsolete "xsymbols";

clarified fonts, notably for Windows L&F;

support jdk-15;

more friendly desktop application on macOS;

default simprule for geometric series

tuned

less aggressive auto-build: avoid change of running jar;

clarified window size;

more robust Java monitor: avoid odd warning about insecure connection;

tuned signature;

clarified modules;

clarified modules;

misc tuning for release;

rebuild component with proper ZIPPERPOSITION_HOME for sledgehammer;

sort lines;

provide zipperposition-2.0 for experimentation;

merged

tweaked tptp parsing when source info is missing

tuned comments;

merged

proper relative path;

unused;

present auxiliary files with PIDE markup; more robust treatment of non-text files (notably $POLYML_EXE);

tuned;

tuned;

tuned signature: more explicit types;

tuned signature;

clarified signature and module structure;

tuned signature;

clarified comments: file-system access is always unsynchronized;

more precise simpset for method unat_arith

clarified scope of concept

clarified name

tuned;

download auxiliary files via "curl";

clarified markup: open URL as editor file;

download as in Isabelle/Scala;