removed unused material (left-over from fd0c85d7da38);

support HOL-Isar_Examples.Hoare as well (amending 403ce50e6a2a);

removed junk;

tuned comments;

prefer standard Term.dest_abs, with minor deviation of generated names;

workaround for old macOS versions, after change of Let's Encrypt root…

tuned text;

recover NEWS from 78d1f73bbeaa;

save 90 MB by excluding rlwrap and thus perl;

save 45 MB by excluding rlwrap and thus perl;

NEWS;

clarified test of directories;

misc tuning for release;

updated to kodkodi-1.5.7. with more robust/portable management of files and…

merged

tuned message;

provide minisat-2.2.1 on all currently supported platforms, notably as external…

build minisat, using recent fork from original sources;

proper build on macOS;

tuned message;

proper platform_path for executables run from Java;

tuned whitespace;

tuned;

updated to Vampire 4.6, as proposed by Martin Desharnais;

include arm64-linux;

build from official downloads;

build just one vampire version;

clarified signature;

maintain previous theory identifier to support semantic caching, notably in…

more exports, notably for Isabelle/Naproche;

include arm64-linux;

prefer existing OCaml installation;

include arm64-linux;

no patchelf on macOS (undetected due to cached executables?);

provide opam-2.1.0 for experimentation;

rebuild cygwin-20211004.tar.gz;

updated to cygwin-20211004: build again;

include arm64-linux;

merged

removed pointless NEWS: both Docker/ubuntu and Cygwin provide perl by default;

actually use cygwin-20211002 (amending ff0ca375457c);

discontinued perl;

clarified signature;

proper term operation Term.dest_abs;

tuned proofs;

tuned;

more standard binder syntax;

clarified 'let' syntax: avoid conflict with existing 'let' in FOL;

tuned;

tuned;

discontinued perl;

clarified and updated for release;

formal comment concerning 83d2208252d1 vs. d8dc8fdc46fc;

more NEWS and CONTRIBUTORS;

clarified comments;

support symbol \<Parallel>, based on \bigparallel from stdmaryd (stmary10.pfb…

clarified dependencies;

updated for release;

provide Isabelle/jEdit plugins as services, and thus allow user components do…

merged

updated for release;

misc tuning for release;

trim whitespace;

update dependency;

misc tuning for release;

misc tuning for release;

isabelle build_components -u;

updated to current Cygwin, near 3.2.0;

updated to Haskell Stach lts-18.12 with GHC ghc-8.10.7;

updated to sumatra_pdf-3.3.3;

updated default version;

updated to xz-java-1.9;

updated to sqlite-jdbc-3.36.0.3;

updated to jfreechart-1.5.3;

updated to postgresql-42.2.24;

updated to flatlaf-1.6;

clarified signature;

clarified sledgehammer_provers, following d8dc8fdc46fc;

clarified Term.dest_abs (again, refining 71dfb835025d): only Free names are…

tuned, following Syntax_Trans.variant_abs;

proper term operation Term.dest_abs;

proper patterns for (- numeral t), amending 03ff4d1e6784;

tuned;

removed obselete sorted_sorted_wrt, following Isabelle/06aeb9054c07;

clarified timeout;

hide_lams ~> opaque_lifting;

clarified antiquotations;

clarified antiquotations;

proper inst table;

clarified antiquotations;

clarified antiquotations;

proper inst table;

clarified antiquotations;

clarified antiquotations;

clarified antiquotations;

unused;

clarified antiquotations;

merged