NEWS
13 months ago nipkow 2018-06-06 merged
13 months ago nipkow 2018-06-06 reorient -> split; documented split
13 months ago wenzelm 2018-06-06 misc tuning and updates for release;
13 months ago wenzelm 2018-06-06 updated for release; tuned;
13 months ago paulson 2018-06-04 NEWS: infinite products
13 months ago wenzelm 2018-06-04 clarified signature; simplified options;
13 months ago wenzelm 2018-06-03 NEWS;
13 months ago nipkow 2018-06-03 list syntax details
13 months ago wenzelm 2018-06-01 documentation for "isabelle dump";
14 months ago wenzelm 2018-05-26 support 'export_files' in session ROOT;
14 months ago wenzelm 2018-05-25 added command 'ML_export';
14 months ago haftmann 2018-05-24 avoid overaggressive classical rule
14 months ago nipkow 2018-05-22 First step to remove nonstandard "[x <- xs. P]" syntax: only input
14 months ago Manuel Eberl 2018-05-18 Moved Landau_Symbols from the AFP to HOL-Library
14 months ago wenzelm 2018-05-19 clarified store directories; discontinued settings ISABELLE_PATH, ISABELLE_OUTPUT;
14 months ago Andreas Lochbihler 2018-05-17 NEWS and CONTRIBUTORS for 8b50f29a1992
14 months ago haftmann 2018-05-12 removed some non-essential rules
14 months ago nipkow 2018-05-09 announce sorted changes
14 months ago wenzelm 2018-05-08 command-line tool "isabelle export"; more documentation; tuned;
14 months ago haftmann 2018-05-06 removed some lemma duplicates
14 months ago wenzelm 2018-05-04 set view title dynamically;
14 months ago immler 2018-05-03 merged; resolved conflicts manually (esp. lemmas that have been moved from Linear_Algebra and Cartesian_Euclidean_Space)
14 months ago immler 2018-05-02 added Johannes' generalizations Modules.thy and Vector_Spaces.thy; adapted HOL and HOL-Analysis accordingly
14 months ago wenzelm 2018-05-02 clarified menu actions;
15 months ago haftmann 2018-04-25 uniform tagging for printable and non-printable literals
15 months ago haftmann 2018-04-24 proper datatype for 8-bit characters
15 months ago haftmann 2018-04-24 corrected nonsense
15 months ago wenzelm 2018-04-19 prefer explicit 32/64 bit platform settings;
15 months ago paulson 2018-04-18 tidying up including contributions from Paulo Emílio de Vilhena
15 months ago wenzelm 2018-04-17 NEWS;
16 months ago haftmann 2018-03-23 NEWS and CONTRIBUTORS
16 months ago wenzelm 2018-03-19 documentation for the Isabelle server;
16 months ago Manuel Eberl 2018-03-12 Removed stray 'sledgehammer' invocation
16 months ago Manuel Eberl 2018-03-12 Changes to NEWS regarding 2a6ef5ba4822
16 months ago ballarin 2018-03-04 Drop rewrites after defines in interpretations.
16 months ago ballarin 2018-03-02 Fall back to reading rewrite morphism first if activation fails without it.
16 months ago ballarin 2018-03-02 Proper rewrite morphisms in locale instances.
17 months ago wenzelm 2018-02-25 notation for dummy sort;
17 months ago wenzelm 2018-02-23 command 'interpret' no longer exposes resulting theorems as literal facts;
17 months ago Andreas Lochbihler 2018-02-16 strengthen filter relator to canonical categorical definition with better properties
17 months ago wenzelm 2018-02-10 NEWS;
18 months ago haftmann 2018-01-28 avoid concrete (anti)mono in theorem names since it could be the other way round
18 months ago wenzelm 2018-01-26 redundant;
18 months ago wenzelm 2018-01-25 old-style inner comments are legacy;
18 months ago wenzelm 2018-01-16 more documentation;
18 months ago wenzelm 2018-01-16 discontinued old form of marginal comments;
18 months ago wenzelm 2018-01-14 more specific tool "isabelle update_comments", for uniformity with formal comments in embedded languages;
18 months ago wenzelm 2018-01-13 added glyph from "Deja Vu Sans Mono" font;
18 months ago wenzelm 2018-01-13 tuned;
18 months ago wenzelm 2018-01-13 added \<^cancel> operator for unused text;
18 months ago nipkow 2018-01-10 typo
18 months ago nipkow 2018-01-10 tuned
18 months ago nipkow 2018-01-10 Manual updates towards conversion of "op" syntax
18 months ago wenzelm 2018-01-09 more accurate spell-checking for nested quotations / antiquotations, notably in formal comments;
18 months ago wenzelm 2018-01-08 theory Pure is default presentation context;
18 months ago wenzelm 2018-01-07 clarified NEWS;
18 months ago wenzelm 2018-01-07 output token content with formal comments and antiquotations;
18 months ago wenzelm 2018-01-06 inner syntax comments may be written as "\<comment> \<open>text\<close>";
18 months ago nipkow 2018-01-05 Renamed (^) to [^] in preparation of the move from "op X" to (X)
18 months ago blanchet 2018-01-03 updated NEWS