NEWS
2016-06-22 wenzelm 2016-06-22 bundle lifting_syntax;
2016-06-17 fleury 2016-06-17 normalising multiset theorem names
2016-06-16 wenzelm 2016-06-16 tuned;
2016-06-14 haftmann 2016-06-14 explicit resolution of ambiguous dictionaries
2016-06-11 haftmann 2016-06-11 boldify syntax in abstract algebraic structures, to avoid clashes with concrete syntax in corresponding type classes
2016-06-11 wenzelm 2016-06-11 spelling;
2016-06-10 wenzelm 2016-06-10 bundles "finfun_syntax" and "no_finfun_syntax" for optional syntax;
2016-06-10 wenzelm 2016-06-10 added command 'unbundle';
2016-06-10 wenzelm 2016-06-10 prefer hybrid 'bundle' command;
2016-06-09 wenzelm 2016-06-09 documentation;
2016-06-08 wenzelm 2016-06-08 merged
2016-06-08 wenzelm 2016-06-08 NEWS;
2016-06-08 Andreas Lochbihler 2016-06-08 repair Unicode mess-up in c493859d4267
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;