NEWS
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.
17 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
18 months ago ago Moved Landau_Symbols from the AFP to HOL-Library
18 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
19 months ago ago clarified menu actions;
19 months ago ago uniform tagging for printable and non-printable literals
19 months ago ago proper datatype for 8-bit characters
19 months ago ago corrected nonsense
19 months ago ago prefer explicit 32/64 bit platform settings;
19 months ago ago tidying up including contributions from Paulo Emílio de Vilhena
19 months ago ago NEWS;
20 months ago ago NEWS and CONTRIBUTORS
20 months ago ago documentation for the Isabelle server;
21 months ago ago Removed stray 'sledgehammer' invocation
21 months ago ago Changes to NEWS regarding 2a6ef5ba4822
21 months ago ago Drop rewrites after defines in interpretations.
21 months ago ago Fall back to reading rewrite morphism first if activation fails without it.
21 months ago ago Proper rewrite morphisms in locale instances.
21 months ago ago notation for dummy sort;
21 months ago ago command 'interpret' no longer exposes resulting theorems as literal facts;
21 months ago ago strengthen filter relator to canonical categorical definition with better properties
22 months ago ago NEWS;
22 months ago ago avoid concrete (anti)mono in theorem names since it could be the other way round
22 months ago ago redundant;
22 months ago ago old-style inner comments are legacy;
23 months ago ago more documentation;
23 months ago ago discontinued old form of marginal comments;
23 months ago ago more specific tool "isabelle update_comments", for uniformity with formal comments in embedded languages;
23 months ago ago added glyph from "Deja Vu Sans Mono" font;