NEWS
7 months ago paulson 2019-04-30 Algebraic closure: moving more theorems into their rightful places
8 months ago haftmann 2019-04-16 eliminated type class
8 months ago haftmann 2019-04-16 entry point for comprehensive word library
8 months ago wenzelm 2019-04-16 tuned for release;
8 months ago paulson 2019-04-14 Group theory developments towards proving algebraic closure (by de Vilhena and Baillon)
8 months ago wenzelm 2019-04-13 more abbrevs;
8 months ago wenzelm 2019-04-12 updated documentation;
8 months ago paulson 2019-04-11 merged
8 months ago paulson 2019-04-11 type instantiations for poly_mapping as a real_normed_vector
8 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");
8 months ago wenzelm 2019-04-11 added document antiquotation option "cartouche";
8 months ago wenzelm 2019-04-10 merged
8 months ago wenzelm 2019-04-10 clarified build of standard heaps;
8 months ago paulson 2019-04-09 merged
8 months ago paulson 2019-04-08 NEWS on homology
8 months ago wenzelm 2019-04-09 tuned -- prefer Isar command 'compile_generated_files';
8 months ago traytel 2019-04-07 NEWS
8 months ago wenzelm 2019-04-07 proper etc/preferences;
8 months ago wenzelm 2019-04-06 support both hinted and unhinted fonts;
8 months ago wenzelm 2019-04-05 proper default;
8 months ago wenzelm 2019-04-05 clarified;
8 months ago wenzelm 2019-04-04 more NEWS;
8 months ago wenzelm 2019-04-04 tuned;
8 months ago wenzelm 2019-04-04 documentation for generated files;
8 months ago wenzelm 2019-04-02 updated for release;
8 months ago wenzelm 2019-04-02 tuned;
8 months ago wenzelm 2019-04-02 more convenient export;
8 months ago wenzelm 2019-04-02 misc tuning for release;
8 months ago wenzelm 2019-04-01 'code_reflect' only supports new-style 'file_prefix'; avoid fragile file "$ISABELLE_TMP/rat.ML";
8 months ago wenzelm 2019-03-29 clarified 'file_prefix';
8 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;
8 months ago wenzelm 2019-03-24 documentation of document markers and re-interpreted command tags;
8 months ago wenzelm 2019-03-23 NEWS for proper Isabelle version;
8 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);
9 months ago wenzelm 2019-03-14 merged
9 months ago wenzelm 2019-03-14 more specific keyword kinds;
9 months ago haftmann 2019-03-14 include zarith in the default opam setup
9 months ago haftmann 2019-03-10 migrated from Nums to Zarith as library for OCaml integer arithmetic
9 months ago wenzelm 2019-03-12 updated to polyml-5.8 (official release);
9 months ago haftmann 2019-03-05 avoid context-sensitive simp rules whose context-free form (image_comp) is not simp by default
9 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;
9 months ago haftmann 2019-02-21 streamlined specification interfaces
9 months ago haftmann 2019-02-21 sligthly more interpunctation and qualification
9 months ago haftmann 2019-02-21 tuned whitespace
9 months ago wenzelm 2019-02-20 updated to polyml-5.8-20190220 (pre-release of Poly/ML 5.8);
10 months ago wenzelm 2019-02-15 clarified 'export_files' in session ROOT: require explicit "isabelle build -e"; tuned messages;
10 months ago Manuel Eberl 2019-02-04 Formal Laurent series and overhaul of Formal power series (due to Jeremy Sylvestre)
10 months ago Manuel Eberl 2019-02-04 Exponentiation by squaring, fast modular exponentiation
10 months ago Manuel Eberl 2019-02-04 More material for HOL-Number_Theory: ord, Carmichael's function, primitive roots
10 months ago wenzelm 2019-01-31 NEWS;
10 months ago wenzelm 2019-01-31 merged
10 months ago wenzelm 2019-01-31 added option jedit_text_overview for visual appearance (not performance, see also 72216713733a);
10 months ago haftmann 2019-01-31 proper congruence rule for image operator
10 months ago wenzelm 2019-01-30 NEWS;
10 months ago wenzelm 2019-01-30 discontinued obsolete option "checkpoint";
10 months ago wenzelm 2019-01-28 revert accident with raw Unicode (not Isabelle symbols) in 7404f5b91e56;
10 months ago nipkow 2019-01-28 changed precedence of big operators: now like any other function symbol
10 months ago haftmann 2019-01-25 prefer proper strings in OCaml
10 months ago haftmann 2019-01-24 more appropriate section
10 months ago haftmann 2019-01-21 slightly more conventional naming schema