NEWS
7 months ago wenzelm 2019-01-31 NEWS;
7 months ago wenzelm 2019-01-31 merged
7 months ago wenzelm 2019-01-31 added option jedit_text_overview for visual appearance (not performance, see also 72216713733a);
7 months ago haftmann 2019-01-31 proper congruence rule for image operator
7 months ago wenzelm 2019-01-30 NEWS;
7 months ago wenzelm 2019-01-30 discontinued obsolete option "checkpoint";
7 months ago wenzelm 2019-01-28 revert accident with raw Unicode (not Isabelle symbols) in 7404f5b91e56;
7 months ago nipkow 2019-01-28 changed precedence of big operators: now like any other function symbol
7 months ago haftmann 2019-01-25 prefer proper strings in OCaml
7 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
8 months ago haftmann 2019-01-20 more conventional syntax for code_stmts antiquotation
8 months ago haftmann 2019-01-19 self-contained code modules for Haskell
8 months ago wenzelm 2019-01-16 tuned;
8 months ago wenzelm 2019-01-13 information with hyperlink to "isabelle-export:";
8 months ago wenzelm 2019-01-13 added action "isabelle-export-browser";
8 months ago haftmann 2019-01-10 optional code export as theory export
8 months ago wenzelm 2019-01-06 tuned;
8 months ago wenzelm 2019-01-04 support for isabelle update -u control_cartouches;
8 months ago wenzelm 2019-01-03 tuned;
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
11 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
12 months ago nipkow 2018-09-24 NEWS
12 months ago wenzelm 2018-09-23 discontinued old-style goal cases;
12 months ago wenzelm 2018-09-23 tuned;
12 months ago wenzelm 2018-09-23 discontinued old-style inner comments;
12 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;