Word_Lib: document build

Word_Lib: contributions from l4v

revert change to ~~ syntax

back to old-style names for uniform sorting of build_status (amending…

support actual_host for lrzcloud2: the proxy_host/sshd cannot resolve invented…

clarified connection parameters (again, after adjusting $HOME/.ssh…

clarified output;

added a few lemmas to Stone_Kleene_Relation_Algebras

Substitution in LTL DNF formulas

fixed some TeX problems

ZFC_in_HOL: Now with Cantor normal form!

A new lemma

proper host for ssh.hg_url (required aliasing works via $HOME/.ssh/config);

clarified test;

clarified connection parameters;

some new lemmas

tuned;

obsolete;

remove Thm.transfer workaround made obsplete by cf2406e654cf

back to post-release mode;

Added tag Isabelle2020-RC2 for changeset 7eadccd4392c

claried error elements: include internalized errors of tokens/commands;

more robust connection via proxy_host;

more robust: proper transfer if Context.eq_thy_id;

tuned;

merged

more robust hg_url;

tuned;

proper usage (amending 8c7706b053c7);

proper escape for literal single quotes;

some uses of "' " as witness for this feature;

allow slightly odd "' " in mixfix as documented (introduced in 55754d6d399c…

tidied up a few little proofs

proper escape for literal single quotes;

tuned whitespace;

updated for release;

more usable defaults for high resolution on Linux, where the desktop…

tuned for Isabelle2020;

proper transfer for Thm.derivation_name;

more explicit defaults;

tuned OS names;

standard tests for macOS 10.15 Catalina;

updated NEWS w.r.t. e0237f2eb49d

avoid hardwired document preparation;

cited ITP paper

more frugal simp rules for bit operations; more pervasive use of bit selector

more scalable output of YXML files;

tuned;

proper grounding of free types produced by reconstruct_proof/infer_type, e.g.

more thorough strip_shyps for proof boxes (but types are usually stripped and…

tuned whitespace;

clarified;

tuned signature;

tuned signature;

tuned signature;

tuned;

copy jEdit sources instead of jar, for better browsing experience;

proper option;

tuned;

formally depend on Java 11 --- discontinue Java 8 workaround;

support Java/VM monitoring via jconsole;

escape some special chars, notably for URL#NAME form;

library theory for extractions of equations x = t into premises

tuned

rebuild x86_64-linux on Ubuntu 14.04.6 LTS;

merged

include actions for jEdit dockables, e.g. "vfs.browser";

misc tuning and clarification;

infrastructure for extraction of equations x = t from premises beneath meta-all

avoid conflict with isabelle.next-error, resulting in odd startup dialog;

updated for release;

Added revision meta-data for Optics.

Added partial bijective and symmetric lenses. Improved alphabet command…

Added tag Isabelle2020-RC1 for changeset a8849ac415cc

updated for release;

follow Phabricator update 2020 Week 6;

tuned signature;

VSCode extension for official Isabelle release;

more documentation;

tuned GUI;

clarified command line;

proper navigation wrt. caret;

clarified modifier: avoid confusion of CS+a as C+a;

tuned -- avoid deprecated operations;

more Isabelle/jEdit actions;

updated for release;

more Isabelle/jEdit actions;

tuned signature;

tuned;

tuned lift_bnf's user interface for quotients