dont rename PQ.del_min

del_min -> split_min

merged

support for XZ.Cache;

three new theorems

merged

updated to postgresql-42.2.2, with more smooth support for Java 9/10;

minimal Java source version for jdk-10.0.1;

workaround for jdk-10.0.1;

more robust, notably for jdk-10.0.1 where jre is absent;

moved lemma to more appropriate place

algebraic embeddings for bit operations

updated to jdk-8u172;

merged

updated to jfreechart-1.5.0, but retain bundled iText-2.1.5.jar from jfreechart-1.0.14 to avoid iText-5/7 license complexity;

tuning of a proof

merged

some simpler, cleaner proofs

prefer explicit 32/64 bit platform settings;

misc tuning and clarification;

correction of TeX errors and other oversights

Oops! Change_Of_Vars was not being imported to Analysis!

tidying up including contributions from Paulo Emílio de Vilhena

Change of variables proof

merged

Vitali covering theorem

updated to xz-java-1.8;

updated windows_app to launch4j 3.11 and 7zsd_extra_171_3901.7z (reconstructed by Chris Lake);

NEWS;

updated to jedit-5.5.0; discontinued jedit_build/contrib/jEdit-patched.tar.gz -- its content is in directory jedit_build/contrib/jedit-5.5.0-patched/jEdit;

more about measure

some more random results

more results about measure and negligibility

explicit simp rules for computing abstract bit operations

more and generalized lemmas

quite a few more results about negligibility, etc., and a bit of tidying up

merged

a few more results

added bottom-up merge sort

various new results on measures, integrals, etc., and some simplified proofs

more new theorems on real^1, matrices, etc.

a few new theorems and some fixes

new material about vec, real^1, etc.

merged

Probability builds with new definitions

Analysis builds using set_borel_measurable_def, etc.

merged

replacement of set integral abbreviations by actual definitions!

added lemma

avoid adding unnecessary quantified lemmas when embedding natural number terms into integer terms: quantified lemmas can cause Z3 to produce complex proofs that are hard to replay in Isabelle

merged

A couple of new results

Syntax for the special cases Min(A`I) and Max (A`I)

removed dots at the end of (sub)titles

moved and renamed lemmas

Added binary set operations with join-based implementation

more name tuning

better name; added binary operations

tuned

a first shot at tagging for HOL-Analysis manual

even more on bit operations

more bit operation conversions

more rules for numeral conversions; more precise code setup for pred_numeral

tuned proofs and generalized some lemmas about limits

tuned some proofs

tuned some proofs about filters

clarified handling of stdout vs. stderr: the cronjob should normally be silent;

proper self_update of components -- do assume shared file-system;

updated to scala-2.12.5;

Merged

Removed some uses of deprecated _tac methods. (Patch from Viorel Preoteasa)

Added some simple facts about limits

added lemmas

clarified signature;

clarified messages (amending 3e072441c96a);

session tmp_dir is default master_dir;

tuned output;

tuned;

clarified theory node name; purge_theories: return purged, retained; tuned documentation;

added lemma

added command "purge_theories"; proper documentation: command "use_theories" is asynchronous;

clarified signature -- eliminated somewhat pointless positions;

clarified signature -- more like use_theories;

clarified;

removed somewhat pointless argument;

support for purge_theories;

clarified signature;

tuned;

more robust timing info: do not rely on order of markup;

clarified signature;

field "kind" is always present, with default "writeln";

merged

eliminated "elems"

NEWS and CONTRIBUTORS

tuned;

merged

provide tmp_dir for server session;

clarified signature: flexible base_dir;

clarified exported messages, e.g. suppress "information", "tracing"; export "legacy_feature" as "warning", in accordance to console default output;

clarified signature: prefer selective include_sessions;

clarified signature: more uniform session_id;

clarified signature;

clarified signature: do not expose somewhat accidental internal options;

misc tuning and clarification;

more documentation;

clarified result;

tuned;

clarified error result, without JSON object from "session_build"; clarified regular result;

proper order of matches: Server.Error is an instance of Exn.ERROR;

clarified result;

clarified markup according to common Command.Results;

make baliL and baliR symmetric

proof of concept for algebraically founded bit lists

tuned proof

prefer convention to place operation name before type name

more lemmas

generalized

documentation for the Isabelle server;

clarified message name: disallow single quote;

clarified server shutdown: stop all sessions;