tuned;

prefer naming convention from datatype package for strong congruence rules

redundant

split off theorems involving classes below metric_space and real_normed_vector

merged

merged

tuned analysis manual

tuned signature;

merged

clarified signature, notably cascade of dump_options, deps, resources, session;

unused;

clarified signature;

clarified errors, according to Isabelle/MMT; tuned signature;

tuned, according to Isabelle/MMT;

clarified options: ensure consolidated Node_Status and thus percentage = 100% for progress;

tuned;

merged

more capitalization

capitalize proper names in lemma names

explicit dependencies for includes

more correct handling of symbols for includes

more conservative update of Haskell stack (amending 04e54f57a869): 13.0 still lacks notable packages like "Agda" or "darcs";

merged;

clarified sessions_deps, according to Isabelle/MMT usage;

tuned signature: for other dump-like tools;

unused;

tuned;

clarified defaults via system options;

added bib-file

tuned headers etc, added bib-file

tuned style and headers

most of Topology_Euclidean_Space (now Elementary_Topology) requires fewer dependencies

merged

tuned headers

moved lemmas up

prove lemmas in context real_normed_vector

moved dependency

generalized to big sum

merged

tuned headers; ~ -> \<not>

update LTS Haskell version

{* verbatim *} is explicit legacy feature;

isabelle update_cartouches -t;

tuned -- avoid conflict with cartouche argument;

unused -- document lacks {* ... *};

more rules

tuned message;

tuned messages;

more Haskell operations: managed resources for threads;

more robust: suitable defaults for unmanaged threads;

more Haskell operations;

more Haskell operations;

proper cleanup;

more Haskell operations;

clarified;

tuned signature;

tuned;

more Haskell operations;

tuned comments;

support for File_Format.Session, e.g. server process accessible via prover options;

clarified signature;

proper trim_line according to ML/Scala versions;

proper attach mechanism for any kind of symbols, not just constants

disregard historic keyword

more robust open/close bracket, but with potential danger of blocking indefinitely in uninterruptible state;

tuned signature;

merged

tuned;

tuned proof text

tuned proof

more Isabelle/Haskell operations;

clarified signature;

tuned comments;

tuned -- more compact;

more Haskell operations;

tuned messages;

unused;

more ML antiquotations;

proper platform path for Windows;

tuned whitespace;

tuned signature;

tuned;

clarified UUID operations; proper check of server password;

clarified protocol;

clarified signature;

more Haskell operations; clarified signature;

tuned signature;

clarified signature, e.g. for re-use by other servers;

more Haskell operations;

clarified modules and signature;

tagged more of HOL-Analysis

merged;

more Haskell operations;

more uniform multi-language operations; misc tuning and clarification;

more Haskell operations;

more uniform multi-language operations; misc tuning and clarification;

more uniform multi-language operations; clarified modules and signature;

more operations (as in ML);

more uniform multi-language operations; clarified modules and signature;

more uniform multi-language operations;

Tagged some of HOL-Analysis

more Haskell operations;

tuned headers;

more formal Haskell project setup, with dependencies on packages from "stackage";

tuned signature;

tuned proofs;

clarified modules, following bytes.scala;

clarified input_line: exclude terminator (its only use in Isabelle_Process.read_command is is unaffected, due to liberal Int.fromString);

tuned message;

updated to scala-2.12.8;

more mathematical glyphs from Isabelle2009-1/lib/fonts/IsabelleMono.sfd (still unused);

clarified names;

clarified example: avoid unpacking into /home/isabelle/components at TUM;

clarified settings and defaults;

merged

discontinued somewhat point dmg: plain .tar.gz is smaller and more convenient to install;

clarified defaults for Windows/Cygwin hybrid;

proper path before tar -C context switch;

replaced "isabelle components_checksum" shell script by "isabelle build_components" in Scala, with more functionality; more robust Component.Archive name: avoid rm_tree accidents;

clarified sort order (again, see also 81a75d9a9a4e);

clarified operations: uniform sorting of results;

clarified modules;

clarified gnutar options: more uniform owner;

clarified application bundling: discontinued redundant archives;

Tagged some theories in HOL-Analysis: Cauchy_Integral_Theorem, Riemann_Mapping and Winding_Numbers.

clarified session dependencies: faster build_doc/build_release;

merged

updated to modern symbols