NEWS
2013-11-11 wenzelm merged, using src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML and src/HOL/Tools/Sledgehammer/sledgehammer_run.ML from 347c3b0cab44;
2013-11-09 wenzelm tuned whitespace;
2013-11-05 wenzelm no default shortcut for isabelle.reset-font-size -- avoid conflict with unsplit-current;
2013-10-30 wenzelm more on file-system access;
2013-10-14 wenzelm tuned;
2013-10-09 wenzelm NEWS;
2013-10-04 wenzelm NEWS;
2013-11-10 haftmann qualifed popular user space names
2013-11-05 hoelzl NEWS
2013-11-04 haftmann fact generalization and name consolidation
2013-11-01 haftmann more simplification rules on unary and binary minus
2013-10-31 haftmann purely algebraic foundation for even/odd
2013-10-31 haftmann moving generic lemmas out of theory parity, disregarding some unused auxiliary lemmas;
2013-10-03 wenzelm back to post-release mode -- after fork point;
2013-10-02 ballarin Streamlined locales reference material.
2013-10-02 wenzelm tuned;
2013-10-02 wenzelm misc tuning for release;
2013-10-02 traytel NEWS and CONTRIBUTORS
2013-10-02 kuncar NEWS and CONTRIBUTORS
2013-10-01 blanchet minor textual changes
2013-09-29 wenzelm tuned;
2013-09-29 wenzelm more on text completion;
2013-09-28 wenzelm misc tuning for release;
2013-09-28 wenzelm uniform $ISABELLE_HOME on all platforms;
2013-09-25 wenzelm updated documentation concerning MacOSX plugin 1.3;
2013-09-24 wenzelm NEWS;
2013-09-23 blanchet document "spy"
2013-09-23 blanchet document "spy" option
2013-09-20 blanchet updated NEWS
2013-09-19 blanchet updated NEWS
2013-09-18 blanchet updated NEWS and CONTRIBUTORS
2013-09-18 wenzelm improved printing of exception trace in Poly/ML 5.5.1;
2013-09-17 lammich order_bot, order_top
2013-09-17 noschinl NEWS: Simps_Case_Conv
2013-09-16 wenzelm more NEWS;
2013-09-13 krauss merged
2013-09-10 krauss NEWS and CONTRIBUTORS
2013-09-11 haftmann more correct NEWS
2013-09-11 wenzelm tuned;
2013-09-04 wenzelm remove Swing input map, which might bind keys in unexpected ways (e.g. LEFT/RIGHT in singleton list);
2013-09-02 Andreas Lochbihler NEWS
2013-08-31 wenzelm more accurate description: Swing/L&F has additional handlers;
2013-08-30 wenzelm merged
2013-08-30 wenzelm NEWS;
2013-08-30 blanchet renamed command to clarify connection with BNF
2013-08-30 blanchet updated news/contributors with BNF stuff
2013-08-29 wenzelm added action isabelle.complete, using standard jEdit keyboard shortcut;
2013-08-29 wenzelm some completion options;
2013-08-29 wenzelm GTK+ works better due to avoidance of default list view popups;
2013-08-28 wenzelm complete symbols only in backslash forms -- less intrusive editing, greater chance of finding escape sequence in text;
2013-08-23 wenzelm clarified position of Spec_Check for Isabelle/ML -- it is unrelated to Isabelle/HOL;
2013-08-23 wenzelm obsolete (see 52790e3961fe);
2013-08-23 wenzelm added action isabelle.reset-font-size;
2013-08-23 wenzelm tuned -- some reformatting;
2013-08-20 krauss renamed theory Mrec to Legacy_Mrec, no longer included by default
2013-08-17 wenzelm NEWS;
2013-08-13 wenzelm discontinued special treatment of \<^isub> and \<^isup> in rendering or editor front-end;
2013-08-13 wenzelm disable old identifier syntax by default, legacy_isub_isup := true may be used temporarily as fall-back;
2013-08-09 wenzelm NEWS;
2013-08-07 wenzelm more NEWS and CONTRIBUTORS;
less more (0) -1000 -300 -100 -60 tip