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