2016-01-05 wenzelm 2016-01-05 updated headers;
2016-01-05 wenzelm 2016-01-05 merged
2016-01-05 wenzelm 2016-01-05 ensure that thread pool creates daemon threads, to increase chances that the JVM terminates spontaneously;
2016-01-05 hoelzl 2016-01-05 Multivariate-Analysis: fixed headers and a LaTex error (c.f. Isabelle b0f941e207cf)
2016-01-04 wenzelm 2016-01-04 merged
2016-01-04 wenzelm 2016-01-04 tuned proofs;
2016-01-04 wenzelm 2016-01-04 node_status update is back on GUI thread (reverting 3ad2b2055ffc) -- avoid potential deadlock of GUI_Thread.now during shutdown, when GUI thread is already terminated;
2016-01-04 wenzelm 2016-01-04 stop dummy sessions as well;
2016-01-04 wenzelm 2016-01-04 clarified order of shutdown;
2016-01-04 eberlm 2016-01-04 Added lots of material on infinite sums, convergence radii, harmonic numbers, Gamma function
2016-01-03 wenzelm 2016-01-03 retain ASCII syntax for output, when HOL/Library/Lattice_Syntax is not present (amending e96292f32c3c);
2016-01-03 wenzelm 2016-01-03 proper treatment of RAW bootstrap session;
2016-01-03 wenzelm 2016-01-03 tuned whitespace;
2016-01-02 wenzelm 2016-01-02 more symbols; tuned;
2016-01-02 wenzelm 2016-01-02 tuned spacing of \<partial>; spontaneous update of .sfd files due to fontforge;
2016-01-02 wenzelm 2016-01-02 eliminated somewhat pointless and obscure options;
2016-01-02 wenzelm 2016-01-02 isabelle update_cartouches -c -t;
2016-01-02 wenzelm 2016-01-02 tuned;
2016-01-02 wenzelm 2016-01-02 proper platform_path for Windows;
2016-01-02 wenzelm 2016-01-02 clarified isabelle jedit command-line;
2016-01-02 wenzelm 2016-01-02 tuned;
2016-01-02 wenzelm 2016-01-02 avoid downloading contrib again;
2016-01-02 wenzelm 2016-01-02 provide server name uniformly on all platforms;
2016-01-02 wenzelm 2016-01-02 more symbols;
2016-01-02 wenzelm 2016-01-02 NEWS;
2016-01-01 wenzelm 2016-01-01 keep platform bundle for reference, e.g. for headless installation;
2016-01-01 wenzelm 2016-01-01 keep generic archive for all platforms -- required for Admin/Release/build_library;
2016-01-01 wenzelm 2016-01-01 oops;
2016-01-01 wenzelm 2016-01-01 Added tag Isabelle2016-RC0 for changeset e18444532fce
2016-01-01 wenzelm 2016-01-01 tuned;
2016-01-01 wenzelm 2016-01-01 updated for release;
2016-01-01 wenzelm 2016-01-01 tuned;
2016-01-01 wenzelm 2016-01-01 more symbols;
2016-01-01 wenzelm 2016-01-01 clarified abbrev;
2016-01-01 wenzelm 2016-01-01 clarified meaning of \<^bold> action, depending on group;
2016-01-01 wenzelm 2016-01-01 clarified groups, notably for Symbols dockable;
2016-01-01 wenzelm 2016-01-01 glyphs for \<bind>, \<then>;
2016-01-01 wenzelm 2016-01-01 tuned order for isar-ref;
2016-01-01 wenzelm 2016-01-01 isabelle update_cartouches -c -t;
2015-12-31 wenzelm 2015-12-31 updated for release;
2015-12-31 wenzelm 2015-12-31 updated to SML/NJ 110.79;
2015-12-31 wenzelm 2015-12-31 misc tuning for release;
2015-12-31 wenzelm 2015-12-31 misc updates for release;
2015-12-31 wenzelm 2015-12-31 expand hard tabs;
2015-12-31 wenzelm 2015-12-31 documentation for "isabelle jedit_client";
2015-12-31 wenzelm 2015-12-31 discontinued documentation of old browser; tuned;
2015-12-31 wenzelm 2015-12-31 more precise context -- potentially relevant for Eisbach dummy thm;
2015-12-31 wenzelm 2015-12-31 tuned;
2015-12-31 wenzelm 2015-12-31 updated sumatra_pdf;
2015-12-31 wenzelm 2015-12-31 clarified imports;
2015-12-31 wenzelm 2015-12-31 clarified directory structure;
2015-12-31 wenzelm 2015-12-31 updated isabelle_fonts;
2015-12-31 wenzelm 2015-12-31 proper diamond from lasy10;
2015-12-31 wenzelm 2015-12-31 modernized defs; tuned proofs; tuned whitespace;
2015-12-30 wenzelm 2015-12-30 more symbols;
2015-12-30 wenzelm 2015-12-30 more symbols;
2015-12-30 wenzelm 2015-12-30 isabelle update_cartouches -c -t;
2015-12-30 wenzelm 2015-12-30 more symbols;
2015-12-30 wenzelm 2015-12-30 more symbols;
2015-12-30 wenzelm 2015-12-30 more symbols;