NEWS
9 months ago wenzelm 2019-01-30 NEWS;
9 months ago wenzelm 2019-01-30 discontinued obsolete option "checkpoint";
9 months ago wenzelm 2019-01-28 revert accident with raw Unicode (not Isabelle symbols) in 7404f5b91e56;
9 months ago nipkow 2019-01-28 changed precedence of big operators: now like any other function symbol
9 months ago haftmann 2019-01-25 prefer proper strings in OCaml
9 months ago haftmann 2019-01-24 more appropriate section
10 months ago haftmann 2019-01-21 slightly more conventional naming schema
10 months ago haftmann 2019-01-21 Local_Theory.reset only required for toplevel interaction, attempt to withhold it from user space
10 months ago blanchet 2019-01-21 updated news
10 months ago haftmann 2019-01-20 more conventional syntax for code_stmts antiquotation
10 months ago haftmann 2019-01-19 self-contained code modules for Haskell
10 months ago wenzelm 2019-01-16 tuned;
10 months ago wenzelm 2019-01-13 information with hyperlink to "isabelle-export:";
10 months ago wenzelm 2019-01-13 added action "isabelle-export-browser";
10 months ago haftmann 2019-01-10 optional code export as theory export
10 months ago wenzelm 2019-01-06 tuned;
10 months ago wenzelm 2019-01-04 support for isabelle update -u control_cartouches;
10 months ago wenzelm 2019-01-03 tuned;
10 months ago wenzelm 2019-01-03 support for "isabelle update -u mixfix_cartouches";
10 months ago wenzelm 2019-01-03 NEWS;
10 months ago wenzelm 2019-01-03 mixfix annotations may use cartouches;
10 months ago Andreas Lochbihler 2019-01-01 merged
10 months ago Andreas Lochbihler 2019-01-01 new implementation for case_of_simps based on Code_Lazy's pattern matching elimination algorithm
10 months ago haftmann 2018-12-30 prefer naming convention from datatype package for strong congruence rules
10 months ago wenzelm 2018-12-26 {* verbatim *} is explicit legacy feature;
11 months ago wenzelm 2018-12-14 more ML antiquotations;
11 months ago wenzelm 2018-11-30 more general command 'generate_file' for registered file types, notably Haskell; discontinued 'generate_haskell_file', 'export_haskell_file'; eliminated generated sources: compile files in tmp dir;
11 months ago wenzelm 2018-11-30 use Isabelle fonts for all GUI look-and-feels;
11 months ago wenzelm 2018-11-24 use "Isabelle DejaVu" fonts uniformly: Text Area, GUI elements, HTML output etc.;
12 months ago nipkow 2018-11-19 Retired lemma card_Union_image; use the simpler card_UN_disjoint instead.
12 months ago wenzelm 2018-11-10 added ML antiquotation @{master_dir};
12 months ago wenzelm 2018-11-10 support for user-defined Isabelle/Scala command-line tools; misc tuning and clarification;
12 months ago wenzelm 2018-11-08 NEWS;
12 months ago wenzelm 2018-11-08 tuned whitespace;
12 months ago wenzelm 2018-11-08 clarified tool setup for GHC / OCaml: discontinued "isabelle ghc", "isabelle ocaml", "isabelle ocamlc" to avoid confusion with traditional settings variables for executables (these are still required in existing applications, notably in session options [condition = ISABELLE_GHC] etc. and codegen setup;
12 months ago wenzelm 2018-11-03 NEWS;
12 months ago wenzelm 2018-10-31 clarified ML_Context.expression: it is a closed expression, not a let-declaration -- thus source positions are more accurate (amending d8849cfad60f, 162a4c2e97bc);
12 months ago wenzelm 2018-10-30 merged
12 months ago wenzelm 2018-10-30 tuned example;
12 months ago wenzelm 2018-10-30 added GHC.read_source: read Haskell source text with antiquotations; added "cartouche" antiquotation for ML string expressions as Haskell string literals;
12 months ago fleury 2018-10-30 add reconstruction by veriT in method smt
12 months ago wenzelm 2018-10-25 NEWS;
12 months ago haftmann 2018-10-25 tuned grammar
13 months ago nipkow 2018-10-21 uniform naming of strong congruence rules
13 months ago wenzelm 2018-10-17 tuned;
13 months ago wenzelm 2018-10-17 support for GHC via command-line tools;
13 months ago wenzelm 2018-10-08 support for OCaml via command-line tools;
13 months ago wenzelm 2018-10-01 HOL-SPARK .prv files are no longer written to the file-system;
13 months ago nipkow 2018-09-30 news
13 months ago nipkow 2018-09-24 NEWS
14 months ago wenzelm 2018-09-23 discontinued old-style goal cases;
14 months ago wenzelm 2018-09-23 tuned;
14 months ago wenzelm 2018-09-23 discontinued old-style inner comments;
14 months ago nipkow 2018-09-23 News
14 months ago haftmann 2018-09-08 left-over rename from 3f9bb52082c4
14 months ago wenzelm 2018-09-02 clarified Thy_Resources.Session.use_theories: "terminated" node status is sufficient;
14 months ago wenzelm 2018-09-02 NEWS;
14 months ago blanchet 2018-08-30 updated URL to remote TPTP, following heads-up from Geoff Sutcliffe
14 months ago wenzelm 2018-08-27 some NEWS (instead of proper documentation);
14 months ago wenzelm 2018-08-25 retain original PolyML.pointerEq;