NEWS
2016-06-08 Andreas Lochbihler 2016-06-08 NEWS and CONTRIBUTORS for SPMF
2016-06-06 haftmann 2016-06-06 conventional syntax for unit abstractions
2016-06-06 wenzelm 2016-06-06 added action "isabelle.select-entity";
2016-06-04 wenzelm 2016-06-04 tuned;
2016-06-04 wenzelm 2016-06-04 Integer.lcm normalizes the sign as in HOL/GCD.thy; tuned;
2016-06-03 wenzelm 2016-06-03 support for .scala tools;
2016-06-01 wenzelm 2016-06-01 more documentation;
2016-06-01 wenzelm 2016-06-01 NEWS;
2016-06-01 wenzelm 2016-06-01 more adhoc overloading; eliminated pointless Rat.eq: this is an equality type; tuned;
2016-05-31 wenzelm 2016-05-31 ad-hoc overloading for standard operations on type Rat.rat;
2016-05-30 wenzelm 2016-05-30 merged
2016-05-29 wenzelm 2016-05-29 clarified check_open_spec / read_open_spec; allow 'for' fixes in 'abbreviation', 'definition';
2016-05-28 wenzelm 2016-05-28 clarified 'axiomatization';
2016-05-29 haftmann 2016-05-29 explicit check that abstract constructors cannot be part of official interface
2016-05-29 haftmann 2016-05-29 do not export abstract constructors in code_reflect
2016-05-29 nipkow 2016-05-29 added subtheory of longest common prefix
2016-05-26 wenzelm 2016-05-26 tuned spelling;
2016-05-26 haftmann 2016-05-26 examples and documentation for code generator time measurements
2016-05-26 haftmann 2016-05-26 delegate inclusion of required dictionaries to user-space instead of half-working magic
2016-05-26 nipkow 2016-05-26 added function "prefixes" and some lemmas
2016-05-25 nipkow 2016-05-25 renamed suffix(eq)
2016-05-25 eberlm 2016-05-25 NEWS: Permutations of a set and randomised folds
2016-05-24 wenzelm 2016-05-24 cartouche abbreviations work both for " as well;
2016-05-24 wenzelm 2016-05-24 merged
2016-05-23 wenzelm 2016-05-23 embedded content may be delimited via cartouches;
2016-05-23 nipkow 2016-05-23 merged
2016-05-23 nipkow 2016-05-23 renamed prefix* in Library/Sublist
2016-05-23 blanchet 2016-05-23 generate Vampire 4.0 compatible output
2016-05-23 wenzelm 2016-05-23 removed odd cases rule (see also 8cb42cd97579);
2016-05-14 wenzelm 2016-05-14 toplevel theorem statements support 'if'/'for' eigen-context;
2016-05-10 paulson 2016-05-10 Theory of polyhedra: faces, extreme points, polytopes, and the Krein–Milman Minkowski theorem
2016-04-28 wenzelm 2016-04-28 NEWS;
2016-04-26 wenzelm 2016-04-26 'obtain' supports structured statements (similar to 'define');
2016-04-25 wenzelm 2016-04-25 old 'def' is legacy;
2016-04-24 wenzelm 2016-04-24 added Isar command 'define';
2016-04-20 wenzelm 2016-04-20 reactivated other_id reports (see also db929027e701, 8eda56033203);
2016-04-19 wenzelm 2016-04-19 more IDE support for Isabelle/Pure bootstrap;
2016-04-15 wenzelm 2016-04-15 merged
2016-04-14 wenzelm 2016-04-14 highlighting of entity def/ref positions wrt. cursor;
2016-04-14 hoelzl 2016-04-14 change is incompatible
2016-04-14 hoelzl 2016-04-14 Probability: move emeasure and nn_integral from ereal to ennreal
2016-04-13 wenzelm 2016-04-13 eliminated "xname" and variants;
2016-04-12 wenzelm 2016-04-12 tuned;
2016-04-12 wenzelm 2016-04-12 Type_Infer.object_logic controls improvement of type inference result;
2016-04-09 wenzelm 2016-04-09 removed old proof method "default";
2016-04-09 wenzelm 2016-04-09 support ROOT0.ML as well -- independently of ROOT.ML;
2016-04-07 wenzelm 2016-04-07 NEWS;
2016-04-06 wenzelm 2016-04-06 simplified bootstrap: critical structures remain accessible in ML_Root context;
2016-04-05 wenzelm 2016-04-05 clarified bootstrap environment;
2016-04-04 wenzelm 2016-04-04 tuned;
2016-04-04 wenzelm 2016-04-04 option ML_system_unsafe;
2016-04-04 blanchet 2016-04-04 added reference from NEWS to docs
2016-04-03 wenzelm 2016-04-03 renamed ISABELLE_BUILD_JAVA_OPTIONS to ISABELLE_TOOL_JAVA_OPTIONS;
2016-04-01 wenzelm 2016-04-01 documentation;
2016-04-01 wenzelm 2016-04-01 explicit property for unbreakable block;
2016-03-22 blanchet 2016-03-22 document addition of 'corec'
2016-03-19 haftmann 2016-03-19 unified CHAR with CHR syntax
2016-03-18 wenzelm 2016-03-18 recovered from Unicode accident in 7248d106c607;
2016-03-18 wenzelm 2016-03-18 merged
2016-03-17 wenzelm 2016-03-17 @{make_string} is available during Pure bootstrap;