Added tag Isabelle2016-1-RC5 for changeset 964ac7439a52

notes on whitespace;

avoid spurious messages -- potential cause of problems for "meson";

avoid spurious messages;

clarified output: avoid confusion with line:column notation;

clarified JSON operations (see isabelle_vscode/a7931dc2a1ab);

updated Poly/ML repository test version (08-Dec-2016);

remove typo in bij_swap_compose_bij theorem name; tune proof

filter non-matching prems to not fail in proof procedure; include test case (related to c8a93680b80d)

more lemmas

spelling

misc tuning and modernization;

back to isabelle-dev repository;

merged

more uniform indentation of new line, even if it is empty (relevant for non-proof commands, e.g. 'definition', 'context');

tuned;

merged

more lemmas, tuned proofs

don't generate 'size_gen_o_map' property if its type variable is too limited anyway to be useful

added lemma about 'mult', as suggested by Bertram Felgenhauer

tuned proof

merged

Added tag Isabelle2016-1-RC4 for changeset 49708cffb98d

NEWS for e6a3c55b929b;

embedded latex has 0 length -- imitating \<^raw> before aa1fe1103ab8;

avoid extra space intruding rail diagrams (amending 4854f7ee0987);

explicit option editor_generated_input_delay, which is more aggressive by default;

clarified NEWS concerning Library/Poly_Deriv

made MaSh faster and less likely to hang seemingly forever

delay_first for machine generated editor events: avoid starvation, e.g. when operating on big sessions;

Added tag Isabelle2016-1-RC3 for changeset 51be997d0698

op powr for quickcheck[approximation] (amending 67792e4a5486)

skip over inner syntax for indentation;

tuned whitespace;

tuned;

more on "Indentation";

more on "Formal scopes and semantic selection";

misc tuning and updates;

more on JVM heap space;

tuned;

more on Isar proof language;

documentation for Isabelle/Scala tools; tuned;

more symbols;

avoid import of Complex_Main into Word library (amending 34b7e2da95f6), e.g. to avoid intrusion of const "ii" into theories without complex numbers;

more cronjob tasks, using Poly/ML repository version from 13-Nov-2016;

optional component setup;

clarified msys root; proper copy_files;

clarified setup: avoid alternative C compiler tools, e.g. from Homebrew or MacPorts;

proper admin tool;

tuned output;

back to regular Isabelle tool (reverting abc34a149690);

tuned;

$HOME/.bashrc provides TZ for *all* processes, resulting in proper date for Build_Log.log_date in remote_build_history via ssh (see also fe8f8f88a1d7);

trim more thoroughly, e.g. trailing \0 seen on some system;

tuned;

build sha1 library;