NEWS
2013-12-09 haftmann 2013-12-09 NEWS
2013-12-09 wenzelm 2013-12-09 provide @{file_unchecked} in Isabelle/Pure;
2013-12-09 wenzelm 2013-12-09 added document antiquotation @{url}, which produces formal markup for LaTeX and PIDE;
2013-12-06 wenzelm 2013-12-06 NEWS;
2013-12-06 wenzelm 2013-12-06 clarified "isabelle display" and 'display_drafts': re-use file and program instance, open asynchronously via desktop environment;
2013-12-05 wenzelm 2013-12-05 relocate NEWS to post-release version (cf. 7a14f831d02d);
2013-12-05 wenzelm 2013-12-05 merged, resolving obvious conflicts in NEWS and src/Pure/System/isabelle_process.ML;
2013-12-01 wenzelm 2013-12-01 tuned;
2013-11-30 wenzelm 2013-11-30 NEWS;
2013-11-25 wenzelm 2013-11-25 NEWS;
2013-11-21 wenzelm 2013-11-21 NEWS;
2013-11-20 wenzelm 2013-11-20 updated to Isabelle2013-2;
2013-12-05 blanchet 2013-12-05 make sure acyclicity axiom gets generated in the case where the problem involves mutually recursive datatypes
2013-12-05 Andreas Lochbihler 2013-12-05 news
2013-11-26 traytel 2013-11-26 NEWS
2013-11-25 haftmann 2013-11-25 even more precise NEWS
2013-11-20 wenzelm 2013-11-20 NEWS;
2013-11-19 haftmann 2013-11-19 more correct NEWS
2013-11-19 haftmann 2013-11-19 eliminiated neg_numeral in favour of - (numeral _)
2013-11-16 wenzelm 2013-11-16 toplevel function "use" refers to raw ML bootstrap environment;
2013-11-11 wenzelm 2013-11-11 merged, using src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML and src/HOL/Tools/Sledgehammer/sledgehammer_run.ML from 347c3b0cab44;
2013-11-09 wenzelm 2013-11-09 tuned whitespace;
2013-11-05 wenzelm 2013-11-05 no default shortcut for isabelle.reset-font-size -- avoid conflict with unsplit-current;
2013-10-30 wenzelm 2013-10-30 more on file-system access; provide ISABELLE_HOME_USER as well;
2013-10-14 wenzelm 2013-10-14 tuned;
2013-10-09 wenzelm 2013-10-09 NEWS;
2013-10-04 wenzelm 2013-10-04 NEWS;
2013-11-10 haftmann 2013-11-10 qualifed popular user space names
2013-11-05 hoelzl 2013-11-05 NEWS
2013-11-04 haftmann 2013-11-04 fact generalization and name consolidation
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;