NEWS
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
15 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;
16 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};
17 months ago ago clarified documentation;
17 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";
18 months ago ago support 'export_files' in session ROOT;
18 months ago ago added command 'ML_export';
18 months ago ago avoid overaggressive classical rule
18 months ago ago First step to remove nonstandard "[x <- xs. P]" syntax: only input
19 months ago ago Moved Landau_Symbols from the AFP to HOL-Library
19 months ago ago clarified store directories;
19 months ago ago NEWS and CONTRIBUTORS for 8b50f29a1992
19 months ago ago removed some non-essential rules
19 months ago ago announce sorted changes
19 months ago ago command-line tool "isabelle export";
19 months ago ago removed some lemma duplicates
19 months ago ago set view title dynamically;
19 months ago ago merged; resolved conflicts manually (esp. lemmas that have been moved from Linear_Algebra and Cartesian_Euclidean_Space)
19 months ago ago added Johannes' generalizations Modules.thy and Vector_Spaces.thy; adapted HOL and HOL-Analysis accordingly