NEWS
2013-11-01 haftmann 2013-11-01 more simplification rules on unary and binary minus
2013-10-31 haftmann 2013-10-31 purely algebraic foundation for even/odd
2013-10-31 haftmann 2013-10-31 moving generic lemmas out of theory parity, disregarding some unused auxiliary lemmas; tuned presburger
2013-10-03 wenzelm 2013-10-03 back to post-release mode -- after fork point;
2013-10-03 ballarin 2013-10-03 Streamlined locales reference material.
2013-10-02 wenzelm 2013-10-02 tuned;
2013-10-02 wenzelm 2013-10-02 misc tuning for release;
2013-10-02 traytel 2013-10-02 NEWS and CONTRIBUTORS
2013-10-02 kuncar 2013-10-02 NEWS and CONTRIBUTORS
2013-10-01 blanchet 2013-10-01 minor textual changes
2013-09-29 wenzelm 2013-09-29 tuned;
2013-09-29 wenzelm 2013-09-29 more on text completion;
2013-09-28 wenzelm 2013-09-28 misc tuning for release;
2013-09-28 wenzelm 2013-09-28 uniform $ISABELLE_HOME on all platforms;
2013-09-25 wenzelm 2013-09-25 updated documentation concerning MacOSX plugin 1.3;
2013-09-24 wenzelm 2013-09-24 NEWS;
2013-09-23 blanchet 2013-09-23 document "spy"
2013-09-23 blanchet 2013-09-23 document "spy" option
2013-09-20 blanchet 2013-09-20 updated NEWS
2013-09-19 blanchet 2013-09-19 updated NEWS
2013-09-19 blanchet 2013-09-19 updated NEWS and CONTRIBUTORS
2013-09-18 wenzelm 2013-09-18 improved printing of exception trace in Poly/ML 5.5.1;
2013-09-17 lammich 2013-09-17 order_bot, order_top
2013-09-17 noschinl 2013-09-17 NEWS: Simps_Case_Conv
2013-09-16 wenzelm 2013-09-16 more NEWS;
2013-09-13 krauss 2013-09-13 merged
2013-09-10 krauss 2013-09-10 NEWS and CONTRIBUTORS
2013-09-11 haftmann 2013-09-11 more correct NEWS
2013-09-11 wenzelm 2013-09-11 tuned;
2013-09-04 wenzelm 2013-09-04 remove Swing input map, which might bind keys in unexpected ways (e.g. LEFT/RIGHT in singleton list); handle KP_UP/KP_DOWN keys as well, like Swing does;
2013-09-02 Andreas Lochbihler 2013-09-02 NEWS
2013-08-31 wenzelm 2013-08-31 more accurate description: Swing/L&F has additional handlers;
2013-08-30 wenzelm 2013-08-30 merged
2013-08-30 wenzelm 2013-08-30 NEWS;
2013-08-30 blanchet 2013-08-30 renamed command to clarify connection with BNF
2013-08-30 blanchet 2013-08-30 updated news/contributors with BNF stuff
2013-08-29 wenzelm 2013-08-29 added action isabelle.complete, using standard jEdit keyboard shortcut;
2013-08-29 wenzelm 2013-08-29 some completion options;
2013-08-29 wenzelm 2013-08-29 GTK+ works better due to avoidance of default list view popups;
2013-08-28 wenzelm 2013-08-28 complete symbols only in backslash forms -- less intrusive editing, greater chance of finding escape sequence in text; complete words >= 3 characters only; discontinued short word abbrev "Un" (see also fdd6e68e29d9 and e38e80686ce5);
2013-08-23 wenzelm 2013-08-23 clarified position of Spec_Check for Isabelle/ML -- it is unrelated to Isabelle/HOL; just one src/Tools/ROOT;
2013-08-23 wenzelm 2013-08-23 obsolete (see 52790e3961fe);
2013-08-23 wenzelm 2013-08-23 added action isabelle.reset-font-size;
2013-08-23 wenzelm 2013-08-23 tuned -- some reformatting;
2013-08-20 krauss 2013-08-20 renamed theory Mrec to Legacy_Mrec, no longer included by default
2013-08-17 wenzelm 2013-08-17 NEWS;
2013-08-13 wenzelm 2013-08-13 discontinued special treatment of \<^isub> and \<^isup> in rendering or editor front-end; document antiquotations: renamed term style "isub" to "sub";
2013-08-13 wenzelm 2013-08-13 disable old identifier syntax by default, legacy_isub_isup := true may be used temporarily as fall-back;
2013-08-09 wenzelm 2013-08-09 NEWS;
2013-08-07 wenzelm 2013-08-07 more NEWS and CONTRIBUTORS;
2013-07-31 wenzelm 2013-07-31 NEWS;
2013-07-31 wenzelm 2013-07-31 simplified flag for continuous checking: avoid GUI complexity and slow checking of all theories (including prints);
2013-07-30 wenzelm 2013-07-30 type theory is purely value-oriented;
2013-07-29 wenzelm 2013-07-29 NEWS; tuned description;
2013-07-27 wenzelm 2013-07-27 discontinued historic document formats;
2013-07-27 wenzelm 2013-07-27 avoid predefined symbols -- allow editing with Isabelle/jEdit in isabelle-news mode;
2013-07-27 wenzelm 2013-07-27 discontinued ISABELLE_DOC_FORMAT;
2013-07-13 wenzelm 2013-07-13 merged
2013-07-13 wenzelm 2013-07-13 NEWS;
2013-07-13 haftmann 2013-07-13 attribute "code" declares concrete and abstract code equations uniformly; added explicit "code equation" instead