NEWS
2019-10-09 haftmann dedicated fact collections for algebraic simplification rules potentially splitting goals
2019-10-04 wenzelm Term_XML.Encode/Decode.term uses Const "typargs";
2019-09-12 wenzelm discontinued obsolete "isabelle imports" and all_known data;
2019-09-12 wenzelm find theory files via session structure: much faster Prover IDE startup;
2019-09-11 wenzelm disallow overlapping session directories;
2019-09-08 wenzelm more documentation;
2019-08-24 ballarin Tracing of locale activation.
2019-08-23 wenzelm clarified 'thm_deps' command;
2019-08-20 wenzelm NEWS;
2019-08-17 wenzelm added ML antiquotation @{oracle_name};
2019-08-17 wenzelm NEWS;
2019-08-13 wenzelm NEWS and example for Theory.join_theory;
2019-08-13 wenzelm tuned whitespace;
2019-08-13 wenzelm more documentation;
2019-07-29 nipkow News for bind infixl
2019-06-14 haftmann official fact collection sign_simps
2019-06-14 haftmann clear separation of types for bits (False / True) and Z2 (0 / 1)
2019-06-14 haftmann removed relics of ASCII syntax for indexed big operators
2019-06-01 wenzelm merged
2019-05-28 wenzelm tuned;
2019-05-27 wenzelm merged
2019-05-18 wenzelm tuned;
2019-05-11 wenzelm back to post-release mode;
2019-05-10 wenzelm more documentation;
2019-05-09 wenzelm more NEWS;
2019-05-03 haftmann more NEWS
2019-04-30 paulson Algebraic closure: moving more theorems into their rightful places
2019-04-16 haftmann eliminated type class
2019-04-16 haftmann entry point for comprehensive word library
2019-04-16 wenzelm tuned for release;
2019-04-14 paulson Group theory developments towards proving algebraic closure (by de Vilhena and Baillon)
2019-04-13 wenzelm more abbrevs;
2019-04-12 wenzelm updated documentation;
2019-04-11 paulson merged
2019-04-11 paulson type instantiations for poly_mapping as a real_normed_vector
2019-04-11 wenzelm 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");
2019-04-11 wenzelm added document antiquotation option "cartouche";
2019-04-10 wenzelm merged
2019-04-10 wenzelm clarified build of standard heaps;
2019-04-09 paulson merged
2019-04-08 paulson NEWS on homology
2019-04-09 wenzelm tuned -- prefer Isar command 'compile_generated_files';
2019-04-07 traytel NEWS
2019-04-07 wenzelm proper etc/preferences;
2019-04-06 wenzelm support both hinted and unhinted fonts;
2019-04-05 wenzelm proper default;
2019-04-05 wenzelm clarified;
2019-04-04 wenzelm more NEWS;
2019-04-04 wenzelm tuned;
2019-04-04 wenzelm documentation for generated files;
2019-04-02 wenzelm updated for release;
2019-04-02 wenzelm tuned;
2019-04-02 wenzelm more convenient export;
2019-04-02 wenzelm misc tuning for release;
2019-04-01 wenzelm 'code_reflect' only supports new-style 'file_prefix';
2019-03-29 wenzelm clarified 'file_prefix';
2019-03-28 wenzelm "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;
2019-03-24 wenzelm documentation of document markers and re-interpreted command tags;
2019-03-23 wenzelm NEWS for proper Isabelle version;
2019-03-20 wenzelm access OCaml tools and libraries via ISABELLE_OCAMLFIND;
less more (0) -3000 -1000 -300 -100 -60 tip