NEWS
8 months ago wenzelm 2019-01-03 support for "isabelle update -u mixfix_cartouches";
8 months ago wenzelm 2019-01-03 NEWS;
8 months ago wenzelm 2019-01-03 mixfix annotations may use cartouches;
8 months ago Andreas Lochbihler 2019-01-01 merged
8 months ago Andreas Lochbihler 2019-01-01 new implementation for case_of_simps based on Code_Lazy's pattern matching elimination algorithm
8 months ago haftmann 2018-12-30 prefer naming convention from datatype package for strong congruence rules
8 months ago wenzelm 2018-12-26 {* verbatim *} is explicit legacy feature;
9 months ago wenzelm 2018-12-14 more ML antiquotations;
9 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;
9 months ago wenzelm 2018-11-30 use Isabelle fonts for all GUI look-and-feels;
9 months ago wenzelm 2018-11-24 use "Isabelle DejaVu" fonts uniformly: Text Area, GUI elements, HTML output etc.;
10 months ago nipkow 2018-11-19 Retired lemma card_Union_image; use the simpler card_UN_disjoint instead.
10 months ago wenzelm 2018-11-10 added ML antiquotation @{master_dir};
10 months ago wenzelm 2018-11-10 support for user-defined Isabelle/Scala command-line tools; misc tuning and clarification;
10 months ago wenzelm 2018-11-08 NEWS;
10 months ago wenzelm 2018-11-08 tuned whitespace;
10 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;
10 months ago wenzelm 2018-11-03 NEWS;
10 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);
10 months ago wenzelm 2018-10-30 merged
10 months ago wenzelm 2018-10-30 tuned example;
10 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;
10 months ago fleury 2018-10-30 add reconstruction by veriT in method smt
10 months ago wenzelm 2018-10-25 NEWS;
10 months ago haftmann 2018-10-25 tuned grammar
10 months ago nipkow 2018-10-21 uniform naming of strong congruence rules
11 months ago wenzelm 2018-10-17 tuned;
11 months ago wenzelm 2018-10-17 support for GHC via command-line tools;
11 months ago wenzelm 2018-10-08 support for OCaml via command-line tools;
11 months ago wenzelm 2018-10-01 HOL-SPARK .prv files are no longer written to the file-system;
11 months ago nipkow 2018-09-30 news
11 months ago nipkow 2018-09-24 NEWS
11 months ago wenzelm 2018-09-23 discontinued old-style goal cases;
11 months ago wenzelm 2018-09-23 tuned;
11 months ago wenzelm 2018-09-23 discontinued old-style inner comments;
11 months ago nipkow 2018-09-23 News
12 months ago haftmann 2018-09-08 left-over rename from 3f9bb52082c4
12 months ago wenzelm 2018-09-02 clarified Thy_Resources.Session.use_theories: "terminated" node status is sufficient;
12 months ago wenzelm 2018-09-02 NEWS;
12 months ago blanchet 2018-08-30 updated URL to remote TPTP, following heads-up from Geoff Sutcliffe
12 months ago wenzelm 2018-08-27 some NEWS (instead of proper documentation);
12 months ago wenzelm 2018-08-25 retain original PolyML.pointerEq;
12 months ago haftmann 2018-08-23 simplified syntax setup for big operators under image, retaining input abbreviations for backward compatibility
13 months ago wenzelm 2018-08-18 optional notification of nodes_status (via progress); more accurate changed.nodes wrt. dep_theories; tuned signature;
13 months ago wenzelm 2018-08-11 merged;
13 months ago wenzelm 2018-08-01 isabelle build options -c -x -B refer to imports_graph;
13 months ago wenzelm 2018-07-29 merged
13 months ago wenzelm 2018-07-26 more flexible session selection as in "isabelle jedit";
13 months ago wenzelm 2018-07-22 back to post-release mode -- after fork point;
13 months ago wenzelm 2018-07-22 tuned;
14 months ago wenzelm 2018-07-20 added system option "strict_facts";
14 months ago wenzelm 2018-07-18 tuned;
14 months ago Andreas Lochbihler 2018-07-15 merged
14 months ago Andreas Lochbihler 2018-07-15 more examples for Code_Lazy
14 months ago Manuel Eberl 2018-07-15 Added Real_Asymp package
14 months ago wenzelm 2018-07-02 more NEWS;
14 months ago wenzelm 2018-07-01 discontinued pending_shyps: too much complication due to lazy facts;
14 months ago wenzelm 2018-06-29 tuned;
14 months ago wenzelm 2018-06-29 merged;
14 months ago wenzelm 2018-06-29 misc tuning and updates for release;