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
12 months ago Andreas Lochbihler 2018-07-15 more examples for Code_Lazy
12 months ago Manuel Eberl 2018-07-15 Added Real_Asymp package
12 months ago wenzelm 2018-07-02 more NEWS;
12 months ago wenzelm 2018-07-01 discontinued pending_shyps: too much complication due to lazy facts;
12 months ago wenzelm 2018-06-29 tuned;
12 months ago wenzelm 2018-06-29 merged;
12 months ago wenzelm 2018-06-29 misc tuning and updates for release;
12 months ago wenzelm 2018-06-29 misc tuning for release;
12 months ago wenzelm 2018-06-29 command-line option for include_sessions;
12 months ago wenzelm 2018-06-29 disallow pending hyps; disallow pending shyps, with option to override the check; tuned message;
12 months ago Wenda Li 2018-06-29 NEWS and CONTRIBUTORS
12 months ago wenzelm 2018-06-27 clarified settings -- avoid hard-wired directories; tuned documentation;
12 months ago immler 2018-06-27 example for Types_To_Sets: transfer from type-based linear algebra to subspaces
12 months ago wenzelm 2018-06-26 merged
12 months ago wenzelm 2018-06-26 updated documentation;
12 months ago paulson 2018-06-26 Rationalisation of complex transcendentals, esp the Arg function
12 months ago wenzelm 2018-06-22 clarified document antiquotation @{theory};
13 months ago wenzelm 2018-06-20 clarified documentation;
13 months ago ballarin 2018-06-19 In interpretation commands, clarify what to do with definitions immediately subject to rewriting.
13 months ago paulson 2018-06-18 corrections to markup
13 months ago nipkow 2018-06-15 Map.empty now qualified to avoid name clashes
13 months ago nipkow 2018-06-06 merged
13 months ago nipkow 2018-06-06 reorient -> split; documented split
13 months ago wenzelm 2018-06-06 misc tuning and updates for release;
13 months ago wenzelm 2018-06-06 updated for release; tuned;