NEWS
2 months ago wenzelm 2019-05-28 tuned;
2 months ago wenzelm 2019-05-27 merged
3 months ago wenzelm 2019-05-18 tuned;
3 months ago wenzelm 2019-05-11 back to post-release mode;
3 months ago wenzelm 2019-05-10 more documentation;
3 months ago wenzelm 2019-05-09 more NEWS;
3 months ago haftmann 2019-05-03 more NEWS
3 months ago paulson 2019-04-30 Algebraic closure: moving more theorems into their rightful places
4 months ago haftmann 2019-04-16 eliminated type class
4 months ago haftmann 2019-04-16 entry point for comprehensive word library
4 months ago wenzelm 2019-04-16 tuned for release;
4 months ago paulson 2019-04-14 Group theory developments towards proving algebraic closure (by de Vilhena and Baillon)
4 months ago wenzelm 2019-04-13 more abbrevs;
4 months ago wenzelm 2019-04-12 updated documentation;
4 months ago paulson 2019-04-11 merged
4 months ago paulson 2019-04-11 type instantiations for poly_mapping as a real_normed_vector
4 months ago wenzelm 2019-04-11 strip cartouches from arguments of "embedded" document antiquotations, corresponding to automated update via "isabelle update -u control_cartouches" -- e.g. relevant for documents with thy_output_source (e.g. doc "isar-ref", "jedit", "system");
4 months ago wenzelm 2019-04-11 added document antiquotation option "cartouche";
4 months ago wenzelm 2019-04-10 merged
4 months ago wenzelm 2019-04-10 clarified build of standard heaps;
4 months ago paulson 2019-04-09 merged
4 months ago paulson 2019-04-08 NEWS on homology
4 months ago wenzelm 2019-04-09 tuned -- prefer Isar command 'compile_generated_files';
4 months ago traytel 2019-04-07 NEWS
4 months ago wenzelm 2019-04-07 proper etc/preferences;
4 months ago wenzelm 2019-04-06 support both hinted and unhinted fonts;
4 months ago wenzelm 2019-04-05 proper default;
4 months ago wenzelm 2019-04-05 clarified;
4 months ago wenzelm 2019-04-04 more NEWS;
4 months ago wenzelm 2019-04-04 tuned;
4 months ago wenzelm 2019-04-04 documentation for generated files;
4 months ago wenzelm 2019-04-02 updated for release;
4 months ago wenzelm 2019-04-02 tuned;
4 months ago wenzelm 2019-04-02 more convenient export;
4 months ago wenzelm 2019-04-02 misc tuning for release;
4 months ago wenzelm 2019-04-01 'code_reflect' only supports new-style 'file_prefix'; avoid fragile file "$ISABELLE_TMP/rat.ML";
4 months ago wenzelm 2019-03-29 clarified 'file_prefix';
4 months ago wenzelm 2019-03-28 "export_code ... file_prefix ..." is the preferred way to produce output within the logical file-system within the theory context, as well as session exports; "export_code ... file" is legacy, the empty name form has been discontinued; updated examples;
5 months ago wenzelm 2019-03-24 documentation of document markers and re-interpreted command tags;
5 months ago wenzelm 2019-03-23 NEWS for proper Isabelle version;
5 months ago wenzelm 2019-03-20 access OCaml tools and libraries via ISABELLE_OCAMLFIND; OPAM setup is optional: it requires odd development tools that are not available in default OS installations (e.g. make, m4);
5 months ago wenzelm 2019-03-14 merged
5 months ago wenzelm 2019-03-14 more specific keyword kinds;
5 months ago haftmann 2019-03-14 include zarith in the default opam setup
5 months ago haftmann 2019-03-10 migrated from Nums to Zarith as library for OCaml integer arithmetic
5 months ago wenzelm 2019-03-12 updated to polyml-5.8 (official release);
5 months ago haftmann 2019-03-05 avoid context-sensitive simp rules whose context-free form (image_comp) is not simp by default
5 months ago wenzelm 2019-03-01 system option "system_heaps" supersedes various command-line options for "system build mode"; clarified "isabelle jedit" options -n, -s, -u;
6 months ago haftmann 2019-02-21 streamlined specification interfaces
6 months ago haftmann 2019-02-21 sligthly more interpunctation and qualification
6 months ago haftmann 2019-02-21 tuned whitespace
6 months ago wenzelm 2019-02-20 updated to polyml-5.8-20190220 (pre-release of Poly/ML 5.8);
6 months ago wenzelm 2019-02-15 clarified 'export_files' in session ROOT: require explicit "isabelle build -e"; tuned messages;
6 months ago Manuel Eberl 2019-02-04 Formal Laurent series and overhaul of Formal power series (due to Jeremy Sylvestre)
6 months ago Manuel Eberl 2019-02-04 Exponentiation by squaring, fast modular exponentiation
6 months ago Manuel Eberl 2019-02-04 More material for HOL-Number_Theory: ord, Carmichael's function, primitive roots
6 months ago wenzelm 2019-01-31 NEWS;
6 months ago wenzelm 2019-01-31 merged
6 months ago wenzelm 2019-01-31 added option jedit_text_overview for visual appearance (not performance, see also 72216713733a);
6 months ago haftmann 2019-01-31 proper congruence rule for image operator