2016-01-10 kleing 2016-01-10 print_record NEWS and CONTRIBUTORS
2016-01-10 kleing 2016-01-10 print_record: diagnostic printing of record definitions
2016-01-11 wenzelm 2016-01-11 misc tuning and modernization;
2016-01-10 wenzelm 2016-01-10 prune old versions more often, to reduce overall heap requirements;
2016-01-09 wenzelm 2016-01-09 generate HTML version of NEWS, with proper symbol rendering;
2016-01-09 wenzelm 2016-01-09 tuned -- according to ML version;
2016-01-09 wenzelm 2016-01-09 suppress somewhat pointless description (NB: this is displayed in 'print_methods');
2016-01-09 wenzelm 2016-01-09 merged
2016-01-09 wenzelm 2016-01-09 tuned syntax;
2016-01-09 wenzelm 2016-01-09 tuned;
2016-01-09 wenzelm 2016-01-09 \<struct> loses its rendering and is superseded by \<diamondop>; tuned;
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;