NEWS
2018-03-02 ballarin 2018-03-02 Fall back to reading rewrite morphism first if activation fails without it.
2018-03-02 ballarin 2018-03-02 Proper rewrite morphisms in locale instances.
2018-02-25 wenzelm 2018-02-25 notation for dummy sort;
2018-02-23 wenzelm 2018-02-23 command 'interpret' no longer exposes resulting theorems as literal facts;
2018-02-16 Andreas Lochbihler 2018-02-16 strengthen filter relator to canonical categorical definition with better properties
2018-02-10 wenzelm 2018-02-10 NEWS;
2018-01-28 haftmann 2018-01-28 avoid concrete (anti)mono in theorem names since it could be the other way round
2018-01-26 wenzelm 2018-01-26 redundant;
2018-01-25 wenzelm 2018-01-25 old-style inner comments are legacy;
2018-01-16 wenzelm 2018-01-16 more documentation;
2018-01-16 wenzelm 2018-01-16 discontinued old form of marginal comments;
2018-01-14 wenzelm 2018-01-14 more specific tool "isabelle update_comments", for uniformity with formal comments in embedded languages;
2018-01-13 wenzelm 2018-01-13 added glyph from "Deja Vu Sans Mono" font;
2018-01-13 wenzelm 2018-01-13 tuned;
2018-01-13 wenzelm 2018-01-13 added \<^cancel> operator for unused text;
2018-01-10 nipkow 2018-01-10 typo
2018-01-10 nipkow 2018-01-10 tuned
2018-01-10 nipkow 2018-01-10 Manual updates towards conversion of "op" syntax
2018-01-09 wenzelm 2018-01-09 more accurate spell-checking for nested quotations / antiquotations, notably in formal comments;
2018-01-08 wenzelm 2018-01-08 theory Pure is default presentation context;
2018-01-07 wenzelm 2018-01-07 clarified NEWS;
2018-01-07 wenzelm 2018-01-07 output token content with formal comments and antiquotations;
2018-01-06 wenzelm 2018-01-06 inner syntax comments may be written as "\<comment> \<open>text\<close>";
2018-01-05 nipkow 2018-01-05 Renamed (^) to [^] in preparation of the move from "op X" to (X)
2018-01-03 blanchet 2018-01-03 updated NEWS
2018-01-01 wenzelm 2018-01-01 more completion templates;
2017-12-30 wenzelm 2017-12-30 more robust hyphen (see also "Soft hyphen (SHY) – a hard problem?" http://jkorpela.fi/shy.html);
2017-12-30 wenzelm 2017-12-30 more robust treatment of conflicts with existing Unicode text;
2017-12-30 wenzelm 2017-12-30 tuned whitespace;
2017-12-29 wenzelm 2017-12-29 formal check of @{cite} bibtex entries -- only in batch-mode session builds;
2017-12-28 wenzelm 2017-12-28 NEWS;
2017-12-22 wenzelm 2017-12-22 tuned;
2017-12-22 wenzelm 2017-12-22 discontinued 'display_drafts' command;
2017-12-22 wenzelm 2017-12-22 action "isabelle.draft" for plain-text preview;
2017-12-22 wenzelm 2017-12-22 NEWS;
2017-12-21 wenzelm 2017-12-21 isabelle.preview presents bibtex database files as well;
2017-12-21 wenzelm 2017-12-21 isabelle.preview presents auxiliary text files as well;
2017-12-18 traytel 2017-12-18 a conditional paramitrecity prover
2017-12-16 wenzelm 2017-12-16 tuned;
2017-12-16 wenzelm 2017-12-16 added document antiquotation @{session name}; renamed protocol function "Prover.session_base" to "Prover.init_session_base" according to the ML/Scala operation;
2017-12-16 wenzelm 2017-12-16 PIDE markup for session ROOT files;
2017-12-14 haftmann 2017-12-14 dedicated case option for code generation to Scala
2017-12-14 wenzelm 2017-12-14 expose bibtex errors;
2017-12-14 wenzelm 2017-12-14 NEWS;
2017-12-13 wenzelm 2017-12-13 positions as postlude: avoid intrusion of odd %-forms into main tex source;
2017-12-12 wenzelm 2017-12-12 option document_positions;
2017-12-10 wenzelm 2017-12-10 re-implemented "isabelle document" in Isabelle/Scala, include latex_errors here;
2017-12-10 wenzelm 2017-12-10 more explicit latex errors;
2017-12-07 wenzelm 2017-12-07 clarified document preparation vs. skip_proofs;
2017-12-06 wenzelm 2017-12-06 name mangling for Latex macros; tuned signature;
2017-12-05 wenzelm 2017-12-05 more documentation;
2017-12-04 wenzelm 2017-12-04 NEWS;
2017-12-03 wenzelm 2017-12-03 discontinued old 'def' command;
2017-11-27 wenzelm 2017-11-27 updated to official release of polyml-5.7.1; back to more modest default heap: e.g. relevant for Pure session for ML IDE; more robust POLYML_EXE;
2017-11-25 wenzelm 2017-11-25 Mac OS X 10.10 Yosemite is baseline;
2017-11-13 wenzelm 2017-11-13 init Mercurial repository for the generated session files;
2017-11-11 haftmann 2017-11-11 dedicated definition for coprimality
2017-11-11 wenzelm 2017-11-11 more options for "isabelle mkroot"; updated documentation;
2017-11-05 wenzelm 2017-11-05 more uniform header syntax, in contrast to the former etc/abbrevs file-format (see 73939a9b70a3);
2017-11-03 wenzelm 2017-11-03 tuned (non-unique example);