NEWS
11 months ago ago added ML antiquotation @{master_dir};
11 months ago ago support for user-defined Isabelle/Scala command-line tools;
11 months ago ago NEWS;
11 months ago ago tuned whitespace;
11 months ago ago 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;
11 months ago ago NEWS;
11 months ago ago clarified ML_Context.expression: it is a closed expression, not a let-declaration -- thus source positions are more accurate (amending d8849cfad60f, 162a4c2e97bc);
11 months ago ago merged
11 months ago ago tuned example;
11 months ago ago added GHC.read_source: read Haskell source text with antiquotations;
11 months ago ago add reconstruction by veriT in method smt
12 months ago ago NEWS;
12 months ago ago tuned grammar
12 months ago ago tuned grammar
12 months ago ago uniform naming of strong congruence rules
12 months ago ago tuned;
12 months ago ago support for GHC via command-line tools;
12 months ago ago support for OCaml via command-line tools;
12 months ago ago HOL-SPARK .prv files are no longer written to the file-system;
12 months ago ago news
13 months ago ago NEWS
13 months ago ago discontinued old-style goal cases;
13 months ago ago tuned;
13 months ago ago discontinued old-style inner comments;
13 months ago ago News
13 months ago ago left-over rename from 3f9bb52082c4
13 months ago ago clarified Thy_Resources.Session.use_theories: "terminated" node status is sufficient;
13 months ago ago NEWS;
13 months ago ago updated URL to remote TPTP, following heads-up from Geoff Sutcliffe
14 months ago ago some NEWS (instead of proper documentation);
14 months ago ago retain original PolyML.pointerEq;
14 months ago ago simplified syntax setup for big operators under image, retaining input abbreviations for backward compatibility
14 months ago ago optional notification of nodes_status (via progress);
14 months ago ago merged;
14 months ago ago isabelle build options -c -x -B refer to imports_graph;
14 months ago ago merged
15 months ago ago more flexible session selection as in "isabelle jedit";
15 months ago ago back to post-release mode -- after fork point;
15 months ago ago tuned;
15 months ago ago added system option "strict_facts";
15 months ago ago tuned;
15 months ago ago merged
15 months ago ago more examples for Code_Lazy
15 months ago ago Added Real_Asymp package
15 months ago ago more NEWS;
15 months ago ago discontinued pending_shyps: too much complication due to lazy facts;
15 months ago ago tuned;
15 months ago ago merged;
15 months ago ago misc tuning and updates for release;
15 months ago ago misc tuning for release;
15 months ago ago command-line option for include_sessions;
15 months ago ago disallow pending hyps;
15 months ago ago NEWS and CONTRIBUTORS
16 months ago ago clarified settings -- avoid hard-wired directories;
16 months ago ago example for Types_To_Sets: transfer from type-based linear algebra to subspaces
16 months ago ago merged
16 months ago ago updated documentation;
16 months ago ago Rationalisation of complex transcendentals, esp the Arg function
16 months ago ago clarified document antiquotation @{theory};
16 months ago ago clarified documentation;