NEWS
13 months ago ago tuned grammar
13 months ago ago tuned grammar
13 months ago ago uniform naming of strong congruence rules
14 months ago ago tuned;
14 months ago ago support for GHC via command-line tools;
14 months ago ago support for OCaml via command-line tools;
14 months ago ago HOL-SPARK .prv files are no longer written to the file-system;
14 months ago ago news
14 months ago ago NEWS
14 months ago ago discontinued old-style goal cases;
14 months ago ago tuned;
14 months ago ago discontinued old-style inner comments;
14 months ago ago News
15 months ago ago left-over rename from 3f9bb52082c4
15 months ago ago clarified Thy_Resources.Session.use_theories: "terminated" node status is sufficient;
15 months ago ago NEWS;
15 months ago ago updated URL to remote TPTP, following heads-up from Geoff Sutcliffe
15 months ago ago some NEWS (instead of proper documentation);
15 months ago ago retain original PolyML.pointerEq;
15 months ago ago simplified syntax setup for big operators under image, retaining input abbreviations for backward compatibility
16 months ago ago optional notification of nodes_status (via progress);
16 months ago ago merged;
16 months ago ago isabelle build options -c -x -B refer to imports_graph;
16 months ago ago merged
16 months ago ago more flexible session selection as in "isabelle jedit";
16 months ago ago back to post-release mode -- after fork point;
16 months ago ago tuned;
17 months ago ago added system option "strict_facts";
17 months ago ago tuned;
17 months ago ago merged
17 months ago ago more examples for Code_Lazy
17 months ago ago Added Real_Asymp package
17 months ago ago more NEWS;
17 months ago ago discontinued pending_shyps: too much complication due to lazy facts;
17 months ago ago tuned;
17 months ago ago merged;
17 months ago ago misc tuning and updates for release;
17 months ago ago misc tuning for release;
17 months ago ago command-line option for include_sessions;
17 months ago ago disallow pending hyps;
17 months ago ago NEWS and CONTRIBUTORS
17 months ago ago clarified settings -- avoid hard-wired directories;
17 months ago ago example for Types_To_Sets: transfer from type-based linear algebra to subspaces
17 months ago ago merged
17 months ago ago updated documentation;
17 months ago ago Rationalisation of complex transcendentals, esp the Arg function
17 months ago ago clarified document antiquotation @{theory};
18 months ago ago clarified documentation;
18 months ago ago In interpretation commands, clarify what to do with definitions immediately subject to rewriting.
18 months ago ago corrections to markup
18 months ago ago Map.empty now qualified to avoid name clashes
18 months ago ago merged
18 months ago ago reorient -> split; documented split
18 months ago ago misc tuning and updates for release;
18 months ago ago updated for release;
18 months ago ago NEWS: infinite products
18 months ago ago clarified signature;
18 months ago ago NEWS;
18 months ago ago list syntax details
18 months ago ago documentation for "isabelle dump";