NEWS
2016-09-05 blanchet added warning
2016-09-01 wenzelm NEWS;
2016-08-14 blanchet updated NEWS
2016-08-12 wenzelm uniform ML and document antiquotations;
2016-08-11 wenzelm clarified antiquotations;
2016-08-11 nipkow tuned
2016-08-10 nipkow "split add" -> "split".
2016-08-09 eberlm Tuned primes
2016-08-08 hoelzl rename HOL-Multivariate_Analysis to HOL-Analysis.
2016-08-06 wenzelm more informative 'prf' and 'full_prf', based on HOL/Proofs/ex/XML_Data.thy;
2016-08-05 wenzelm Sidekick parser for isabelle-ml and sml mode;
2016-08-04 wenzelm NEWS;
2016-08-03 wenzelm include 'begin' and 'end' structure in text folds;
2016-08-02 wenzelm tuned;
2016-08-02 wenzelm support 'abbrevs' within theory header;
2016-07-29 fleury more instantiations for multiset
2016-07-24 haftmann text antiquotation for locales (similar to classes)
2016-07-27 Manuel Eberl NEWS: Primes
2016-07-21 wenzelm merged
2016-07-20 wenzelm provide Pure.simp/simp_all, which only know about meta-equality;
2016-07-20 wenzelm completion templates for commands involving "begin ... end" blocks;
2016-07-20 wenzelm moved method "use" to Pure;
2016-07-20 fleury more instantiations for multiset
2016-07-20 fleury adding mset_map to the simp rules
2016-07-15 wenzelm information about proof outline with cases (sendback);
2016-07-13 wenzelm semantic indentation for unstructured proof scripts;
2016-07-12 wenzelm merged
2016-07-12 wenzelm NEWS;
2016-07-12 fleury sharing simp rules between ordered monoids and rings
2016-07-12 wenzelm added action "isabelle.newline" (shortcut ENTER);
2016-07-11 wenzelm merged
2016-07-11 wenzelm NEWS;
2016-07-11 haftmann NEWS
2016-07-08 haftmann avoid to hide equality behind (output) abbreviation
2016-07-08 nipkow new style dummy_pats
2016-07-07 fleury more instantiations for multiset
2016-07-06 blanchet leverage new 'order' type class instantiation in multiset
2016-07-05 fleury instantiate multiset with multiset ordering
2016-07-04 wenzelm merged
2016-07-04 wenzelm NEWS;
2016-07-04 haftmann spelling
2016-07-04 haftmann combinator to build partial equivalence relations from a predicate and an equivalenc relation
2016-07-04 haftmann basic facts about almost everywhere fix bijections
2016-07-04 haftmann dedicated locale for total bijections
2016-06-23 wenzelm merged
2016-06-23 wenzelm tuned signature;
2016-06-23 haftmann compiling implicit instances into companion objects for classes avoids ambiguities
2016-06-22 wenzelm bundle lifting_syntax;
2016-06-17 fleury normalising multiset theorem names
2016-06-16 wenzelm tuned;
2016-06-14 haftmann explicit resolution of ambiguous dictionaries
2016-06-11 haftmann boldify syntax in abstract algebraic structures, to avoid clashes with concrete syntax in corresponding type classes
2016-06-11 wenzelm spelling;
2016-06-10 wenzelm bundles "finfun_syntax" and "no_finfun_syntax" for optional syntax;
2016-06-10 wenzelm added command 'unbundle';
2016-06-10 wenzelm prefer hybrid 'bundle' command;
2016-06-09 wenzelm documentation;
2016-06-08 wenzelm merged
2016-06-08 wenzelm NEWS;
2016-06-08 Andreas Lochbihler repair Unicode mess-up in c493859d4267
less more (0) -1000 -300 -100 -60 tip