2016-01-09 wenzelm 2016-01-09 discontinued \<struct> syntax;
2016-01-08 wenzelm 2016-01-08 tuned whitespace;
2016-01-08 wenzelm 2016-01-08 tuned;
2016-01-08 wenzelm 2016-01-08 clarified symbol insertion, depending on buffer encoding;
2016-01-08 wenzelm 2016-01-08 tuned;
2016-01-08 hoelzl 2016-01-08 fix code generation for uniformity: uniformity is a non-computable pure data.
2016-01-08 hoelzl 2016-01-08 add uniform spaces
2016-01-08 wenzelm 2016-01-08 merged
2016-01-08 wenzelm 2016-01-08 merged
2016-01-08 wenzelm 2016-01-08 tuned;
2016-01-08 wenzelm 2016-01-08 merged
2016-01-07 wenzelm 2016-01-07 more uniform treatment of symblinks: avoid confusion when unpacking .tar.gz bundle with NTFS links;
2016-01-07 wenzelm 2016-01-07 tuned signature;
2016-01-07 wenzelm 2016-01-07 prefer non-ASCII output;
2016-01-07 wenzelm 2016-01-07 more uniform treatment of package internals;
2016-01-07 wenzelm 2016-01-07 more thorough GUI update;
2016-01-07 wenzelm 2016-01-07 tuned;
2016-01-08 nipkow 2016-01-08 added lemma
2016-01-08 eberlm 2016-01-08 Tuned constant approximations
2016-01-07 paulson 2016-01-07 merged
2016-01-07 paulson 2016-01-07 revisions to limits and derivatives, plus new lemmas
2016-01-07 Manuel Eberl 2016-01-07 Added formal power series updates to NEWS/CONTRIBUTORS
2016-01-07 Manuel Eberl 2016-01-07 Tuned approximations in Multivariate_Analysis
2016-01-06 wenzelm 2016-01-06 misc tuning for release;
2016-01-06 hoelzl 2016-01-06 add the proof of the central limit theorem
2016-01-06 blanchet 2016-01-06 nicer 'Spec_Rules' for size function
2016-01-06 blanchet 2016-01-06 updated docs
2016-01-06 blanchet 2016-01-06 updated NEWS
2016-01-06 blanchet 2016-01-06 more complete setup for 'Rat' in Nitpick
2016-01-06 wenzelm 2016-01-06 more systematic treatment of dynamic facts, when forming closure;
2016-01-06 wenzelm 2016-01-06 clarified ROOT files;
2016-01-06 wenzelm 2016-01-06 proper Pattern.match and corresponding Envir.subst_term, instead of Envir.norm_term of unify-family;
2016-01-06 wenzelm 2016-01-06 added ML antiquotation @{method};
2016-01-05 wenzelm 2016-01-05 tuned;
2016-01-05 wenzelm 2016-01-05 tuned;
2016-01-05 wenzelm 2016-01-05 isabelle update_cartouches -c -t;
2016-01-05 wenzelm 2016-01-05 merged
2016-01-05 wenzelm 2016-01-05 more realistic Eisbach method invocation from ML; misc tuning and clarification;
2016-01-05 wenzelm 2016-01-05 unused;
2016-01-05 wenzelm 2016-01-05 more robust event propagation;
2016-01-05 eberlm 2016-01-05 Fixed sectioning in HOL/Library/Polynomial
2016-01-05 eberlm 2016-01-05 Merged
2016-01-05 eberlm 2016-01-05 Added some facts about polynomials
2016-01-05 wenzelm 2016-01-05 misc tuning for release;
2016-01-05 wenzelm 2016-01-05 merged
2016-01-05 wenzelm 2016-01-05 fewer use of GUI_Thread.now to reduce danger of deadlock on shutdown;
2016-01-05 wenzelm 2016-01-05 tuned;
2016-01-05 eberlm 2016-01-05 Added summability/Gamma/etc. to NEWS and CONTRIBUTORS
2016-01-05 wenzelm 2016-01-05 proper latex setup;
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);