NEWS
2016-08-05 wenzelm 2016-08-05 Sidekick parser for isabelle-ml and sml mode;
2016-08-04 wenzelm 2016-08-04 NEWS;
2016-08-03 wenzelm 2016-08-03 include 'begin' and 'end' structure in text folds;
2016-08-02 wenzelm 2016-08-02 tuned;
2016-08-02 wenzelm 2016-08-02 support 'abbrevs' within theory header; simplified 'keywords': no abbreviations here;
2016-07-29 fleury 2016-07-29 more instantiations for multiset
2016-07-24 haftmann 2016-07-24 text antiquotation for locales (similar to classes)
2016-07-27 Manuel Eberl 2016-07-27 NEWS: Primes
2016-07-21 wenzelm 2016-07-21 merged
2016-07-20 wenzelm 2016-07-20 provide Pure.simp/simp_all, which only know about meta-equality;
2016-07-20 wenzelm 2016-07-20 completion templates for commands involving "begin ... end" blocks;
2016-07-20 wenzelm 2016-07-20 moved method "use" to Pure; more documentation;
2016-07-20 fleury 2016-07-20 more instantiations for multiset
2016-07-20 fleury 2016-07-20 adding mset_map to the simp rules
2016-07-16 wenzelm 2016-07-16 information about proof outline with cases (sendback);
2016-07-13 wenzelm 2016-07-13 semantic indentation for unstructured proof scripts;
2016-07-12 wenzelm 2016-07-12 merged
2016-07-12 wenzelm 2016-07-12 NEWS;
2016-07-12 fleury 2016-07-12 sharing simp rules between ordered monoids and rings
2016-07-12 wenzelm 2016-07-12 added action "isabelle.newline" (shortcut ENTER);
2016-07-11 wenzelm 2016-07-11 merged
2016-07-11 wenzelm 2016-07-11 NEWS;
2016-07-11 haftmann 2016-07-11 NEWS
2016-07-08 haftmann 2016-07-08 avoid to hide equality behind (output) abbreviation
2016-07-08 nipkow 2016-07-08 new style dummy_pats
2016-07-07 fleury 2016-07-07 more instantiations for multiset
2016-07-06 blanchet 2016-07-06 leverage new 'order' type class instantiation in multiset
2016-07-05 fleury 2016-07-05 instantiate multiset with multiset ordering
2016-07-04 wenzelm 2016-07-04 merged
2016-07-04 wenzelm 2016-07-04 NEWS;
2016-07-04 haftmann 2016-07-04 spelling
2016-07-04 haftmann 2016-07-04 combinator to build partial equivalence relations from a predicate and an equivalenc relation
2016-07-04 haftmann 2016-07-04 basic facts about almost everywhere fix bijections
2016-07-04 haftmann 2016-07-04 dedicated locale for total bijections
2016-06-23 wenzelm 2016-06-23 merged
2016-06-23 wenzelm 2016-06-23 tuned signature;
2016-06-23 haftmann 2016-06-23 compiling implicit instances into companion objects for classes avoids ambiguities
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;