NEWS
6 months ago wenzelm 2019-04-06 support both hinted and unhinted fonts;
6 months ago wenzelm 2019-04-05 proper default;
6 months ago wenzelm 2019-04-05 clarified;
6 months ago wenzelm 2019-04-04 more NEWS;
6 months ago wenzelm 2019-04-04 tuned;
6 months ago wenzelm 2019-04-04 documentation for generated files;
6 months ago wenzelm 2019-04-02 updated for release;
6 months ago wenzelm 2019-04-02 tuned;
6 months ago wenzelm 2019-04-02 more convenient export;
6 months ago wenzelm 2019-04-02 misc tuning for release;
6 months ago wenzelm 2019-04-01 'code_reflect' only supports new-style 'file_prefix'; avoid fragile file "$ISABELLE_TMP/rat.ML";
6 months ago wenzelm 2019-03-29 clarified 'file_prefix';
6 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;
6 months ago wenzelm 2019-03-24 documentation of document markers and re-interpreted command tags;
6 months ago wenzelm 2019-03-23 NEWS for proper Isabelle version;
7 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);
7 months ago wenzelm 2019-03-14 merged
7 months ago wenzelm 2019-03-14 more specific keyword kinds;
7 months ago haftmann 2019-03-14 include zarith in the default opam setup
7 months ago haftmann 2019-03-10 migrated from Nums to Zarith as library for OCaml integer arithmetic
7 months ago wenzelm 2019-03-12 updated to polyml-5.8 (official release);
7 months ago haftmann 2019-03-05 avoid context-sensitive simp rules whose context-free form (image_comp) is not simp by default
7 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;
7 months ago haftmann 2019-02-21 streamlined specification interfaces
7 months ago haftmann 2019-02-21 sligthly more interpunctation and qualification
7 months ago haftmann 2019-02-21 tuned whitespace
7 months ago wenzelm 2019-02-20 updated to polyml-5.8-20190220 (pre-release of Poly/ML 5.8);
8 months ago wenzelm 2019-02-15 clarified 'export_files' in session ROOT: require explicit "isabelle build -e"; tuned messages;
8 months ago Manuel Eberl 2019-02-04 Formal Laurent series and overhaul of Formal power series (due to Jeremy Sylvestre)
8 months ago Manuel Eberl 2019-02-04 Exponentiation by squaring, fast modular exponentiation
8 months ago Manuel Eberl 2019-02-04 More material for HOL-Number_Theory: ord, Carmichael's function, primitive roots
8 months ago wenzelm 2019-01-31 NEWS;
8 months ago wenzelm 2019-01-31 merged
8 months ago wenzelm 2019-01-31 added option jedit_text_overview for visual appearance (not performance, see also 72216713733a);
8 months ago haftmann 2019-01-31 proper congruence rule for image operator
8 months ago wenzelm 2019-01-30 NEWS;
8 months ago wenzelm 2019-01-30 discontinued obsolete option "checkpoint";
8 months ago wenzelm 2019-01-28 revert accident with raw Unicode (not Isabelle symbols) in 7404f5b91e56;
8 months ago nipkow 2019-01-28 changed precedence of big operators: now like any other function symbol
8 months ago haftmann 2019-01-25 prefer proper strings in OCaml
8 months ago haftmann 2019-01-24 more appropriate section
8 months ago haftmann 2019-01-21 slightly more conventional naming schema
8 months ago haftmann 2019-01-21 Local_Theory.reset only required for toplevel interaction, attempt to withhold it from user space
8 months ago blanchet 2019-01-21 updated news
9 months ago haftmann 2019-01-20 more conventional syntax for code_stmts antiquotation
9 months ago haftmann 2019-01-19 self-contained code modules for Haskell
9 months ago wenzelm 2019-01-16 tuned;
9 months ago wenzelm 2019-01-13 information with hyperlink to "isabelle-export:";
9 months ago wenzelm 2019-01-13 added action "isabelle-export-browser";
9 months ago haftmann 2019-01-10 optional code export as theory export
9 months ago wenzelm 2019-01-06 tuned;
9 months ago wenzelm 2019-01-04 support for isabelle update -u control_cartouches;
9 months ago wenzelm 2019-01-03 tuned;
9 months ago wenzelm 2019-01-03 support for "isabelle update -u mixfix_cartouches";
9 months ago wenzelm 2019-01-03 NEWS;
9 months ago wenzelm 2019-01-03 mixfix annotations may use cartouches;
9 months ago Andreas Lochbihler 2019-01-01 merged
9 months ago Andreas Lochbihler 2019-01-01 new implementation for case_of_simps based on Code_Lazy's pattern matching elimination algorithm
9 months ago haftmann 2018-12-30 prefer naming convention from datatype package for strong congruence rules
9 months ago wenzelm 2018-12-26 {* verbatim *} is explicit legacy feature;