NEWS
9 months ago haftmann 2018-09-08 left-over rename from 3f9bb52082c4
9 months ago wenzelm 2018-09-02 clarified Thy_Resources.Session.use_theories: "terminated" node status is sufficient;
9 months ago wenzelm 2018-09-02 NEWS;
9 months ago blanchet 2018-08-30 updated URL to remote TPTP, following heads-up from Geoff Sutcliffe
9 months ago wenzelm 2018-08-27 some NEWS (instead of proper documentation);
9 months ago wenzelm 2018-08-25 retain original PolyML.pointerEq;
9 months ago haftmann 2018-08-23 simplified syntax setup for big operators under image, retaining input abbreviations for backward compatibility
10 months ago wenzelm 2018-08-18 optional notification of nodes_status (via progress); more accurate changed.nodes wrt. dep_theories; tuned signature;
10 months ago wenzelm 2018-08-11 merged;
10 months ago wenzelm 2018-08-01 isabelle build options -c -x -B refer to imports_graph;
10 months ago wenzelm 2018-07-29 merged
10 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;
11 months ago wenzelm 2018-07-20 added system option "strict_facts";
11 months ago wenzelm 2018-07-18 tuned;
11 months ago Andreas Lochbihler 2018-07-15 merged
11 months ago Andreas Lochbihler 2018-07-15 more examples for Code_Lazy
11 months ago Manuel Eberl 2018-07-15 Added Real_Asymp package
11 months ago wenzelm 2018-07-02 more NEWS;
11 months ago wenzelm 2018-07-01 discontinued pending_shyps: too much complication due to lazy facts;
11 months ago wenzelm 2018-06-29 tuned;
11 months ago wenzelm 2018-06-29 merged;
11 months ago wenzelm 2018-06-29 misc tuning and updates for release;
11 months ago wenzelm 2018-06-29 misc tuning for release;
11 months ago wenzelm 2018-06-29 command-line option for include_sessions;
11 months ago wenzelm 2018-06-29 disallow pending hyps; disallow pending shyps, with option to override the check; tuned message;
11 months ago Wenda Li 2018-06-29 NEWS and CONTRIBUTORS
11 months ago wenzelm 2018-06-27 clarified settings -- avoid hard-wired directories; tuned documentation;
11 months ago immler 2018-06-27 example for Types_To_Sets: transfer from type-based linear algebra to subspaces
11 months ago wenzelm 2018-06-26 merged
11 months ago wenzelm 2018-06-26 updated documentation;
11 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};
12 months ago wenzelm 2018-06-20 clarified documentation;
12 months ago ballarin 2018-06-19 In interpretation commands, clarify what to do with definitions immediately subject to rewriting.
12 months ago paulson 2018-06-18 corrections to markup
12 months ago nipkow 2018-06-15 Map.empty now qualified to avoid name clashes
12 months ago nipkow 2018-06-06 merged
12 months ago nipkow 2018-06-06 reorient -> split; documented split
12 months ago wenzelm 2018-06-06 misc tuning and updates for release;
12 months ago wenzelm 2018-06-06 updated for release; tuned;
12 months ago paulson 2018-06-04 NEWS: infinite products
12 months ago wenzelm 2018-06-04 clarified signature; simplified options;
12 months ago wenzelm 2018-06-03 NEWS;
12 months ago nipkow 2018-06-03 list syntax details
12 months ago wenzelm 2018-06-01 documentation for "isabelle dump";
12 months ago wenzelm 2018-05-26 support 'export_files' in session ROOT;
12 months ago wenzelm 2018-05-25 added command 'ML_export';
13 months ago haftmann 2018-05-24 avoid overaggressive classical rule
13 months ago nipkow 2018-05-22 First step to remove nonstandard "[x <- xs. P]" syntax: only input
13 months ago Manuel Eberl 2018-05-18 Moved Landau_Symbols from the AFP to HOL-Library
13 months ago wenzelm 2018-05-19 clarified store directories; discontinued settings ISABELLE_PATH, ISABELLE_OUTPUT;
13 months ago Andreas Lochbihler 2018-05-17 NEWS and CONTRIBUTORS for 8b50f29a1992
13 months ago haftmann 2018-05-12 removed some non-essential rules
13 months ago nipkow 2018-05-09 announce sorted changes
13 months ago wenzelm 2018-05-08 command-line tool "isabelle export"; more documentation; tuned;
13 months ago haftmann 2018-05-06 removed some lemma duplicates
13 months ago wenzelm 2018-05-04 set view title dynamically;
13 months ago immler 2018-05-03 merged; resolved conflicts manually (esp. lemmas that have been moved from Linear_Algebra and Cartesian_Euclidean_Space)