NEWS
Thu, 05 Dec 2013 18:02:55 +0100 wenzelm relocate NEWS to post-release version (cf. 7a14f831d02d);
Thu, 05 Dec 2013 17:58:03 +0100 wenzelm merged, resolving obvious conflicts in NEWS and src/Pure/System/isabelle_process.ML;
Sun, 01 Dec 2013 17:09:35 +0100 wenzelm tuned;
Sat, 30 Nov 2013 17:26:00 +0100 wenzelm NEWS;
Mon, 25 Nov 2013 21:36:10 +0100 wenzelm NEWS;
Thu, 21 Nov 2013 22:13:11 +0100 wenzelm NEWS;
Wed, 20 Nov 2013 23:00:18 +0100 wenzelm updated to Isabelle2013-2;
Thu, 05 Dec 2013 13:22:00 +0100 blanchet make sure acyclicity axiom gets generated in the case where the problem involves mutually recursive datatypes
Thu, 05 Dec 2013 09:23:59 +0100 Andreas Lochbihler news
Tue, 26 Nov 2013 09:49:52 +0100 traytel NEWS
Mon, 25 Nov 2013 18:18:58 +0100 haftmann even more precise NEWS
Wed, 20 Nov 2013 17:00:49 +0100 wenzelm NEWS;
Tue, 19 Nov 2013 18:14:56 +0100 haftmann more correct NEWS
Tue, 19 Nov 2013 10:05:53 +0100 haftmann eliminiated neg_numeral in favour of - (numeral _)
Sat, 16 Nov 2013 17:39:11 +0100 wenzelm toplevel function "use" refers to raw ML bootstrap environment;
Mon, 11 Nov 2013 17:44:21 +0100 wenzelm merged, using src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML and src/HOL/Tools/Sledgehammer/sledgehammer_run.ML from 347c3b0cab44;
Sat, 09 Nov 2013 11:24:21 +0100 wenzelm tuned whitespace;
Tue, 05 Nov 2013 18:16:16 +0100 wenzelm no default shortcut for isabelle.reset-font-size -- avoid conflict with unsplit-current;
Wed, 30 Oct 2013 17:05:23 +0100 wenzelm more on file-system access;
Mon, 14 Oct 2013 15:21:45 +0200 wenzelm tuned;
Wed, 09 Oct 2013 23:11:56 +0200 wenzelm NEWS;
Fri, 04 Oct 2013 13:17:49 +0200 wenzelm NEWS;
Sun, 10 Nov 2013 15:05:06 +0100 haftmann qualifed popular user space names
Tue, 05 Nov 2013 09:45:03 +0100 hoelzl NEWS
Mon, 04 Nov 2013 20:10:09 +0100 haftmann fact generalization and name consolidation
Fri, 01 Nov 2013 18:51:14 +0100 haftmann more simplification rules on unary and binary minus
Thu, 31 Oct 2013 11:44:20 +0100 haftmann purely algebraic foundation for even/odd
Thu, 31 Oct 2013 11:44:20 +0100 haftmann moving generic lemmas out of theory parity, disregarding some unused auxiliary lemmas;
Thu, 03 Oct 2013 19:01:10 +0200 wenzelm back to post-release mode -- after fork point;
Thu, 03 Oct 2013 00:39:16 +0200 ballarin Streamlined locales reference material.
Wed, 02 Oct 2013 17:08:39 +0200 wenzelm tuned;
Wed, 02 Oct 2013 16:56:02 +0200 wenzelm misc tuning for release;
Wed, 02 Oct 2013 15:53:20 +0200 traytel NEWS and CONTRIBUTORS
Wed, 02 Oct 2013 10:13:54 +0300 kuncar NEWS and CONTRIBUTORS
Tue, 01 Oct 2013 14:29:27 +0200 blanchet minor textual changes
Sun, 29 Sep 2013 12:56:50 +0200 wenzelm tuned;
Sun, 29 Sep 2013 12:44:40 +0200 wenzelm more on text completion;
Sat, 28 Sep 2013 16:10:26 +0200 wenzelm misc tuning for release;
Sat, 28 Sep 2013 14:36:04 +0200 wenzelm uniform $ISABELLE_HOME on all platforms;
Wed, 25 Sep 2013 16:29:35 +0200 wenzelm updated documentation concerning MacOSX plugin 1.3;
Tue, 24 Sep 2013 20:24:14 +0200 wenzelm NEWS;
Mon, 23 Sep 2013 14:53:43 +0200 blanchet document "spy"
Mon, 23 Sep 2013 14:53:43 +0200 blanchet document "spy" option
Fri, 20 Sep 2013 22:39:30 +0200 blanchet updated NEWS
Thu, 19 Sep 2013 18:59:28 +0200 blanchet updated NEWS
Thu, 19 Sep 2013 01:15:26 +0200 blanchet updated NEWS and CONTRIBUTORS
Wed, 18 Sep 2013 13:18:51 +0200 wenzelm improved printing of exception trace in Poly/ML 5.5.1;
Tue, 17 Sep 2013 15:18:14 +0200 lammich order_bot, order_top
Tue, 17 Sep 2013 13:40:44 +0200 noschinl NEWS: Simps_Case_Conv
Mon, 16 Sep 2013 11:46:24 +0200 wenzelm more NEWS;
Fri, 13 Sep 2013 09:31:45 +0200 krauss merged
Tue, 10 Sep 2013 20:34:32 +0200 krauss NEWS and CONTRIBUTORS
Wed, 11 Sep 2013 18:52:30 +0200 haftmann more correct NEWS
Wed, 11 Sep 2013 11:08:48 +0200 wenzelm tuned;
Wed, 04 Sep 2013 12:20:00 +0200 wenzelm remove Swing input map, which might bind keys in unexpected ways (e.g. LEFT/RIGHT in singleton list);
Mon, 02 Sep 2013 17:14:35 +0200 Andreas Lochbihler NEWS
Sat, 31 Aug 2013 12:14:19 +0200 wenzelm more accurate description: Swing/L&F has additional handlers;
Fri, 30 Aug 2013 13:46:32 +0200 wenzelm merged
Fri, 30 Aug 2013 13:45:57 +0200 wenzelm NEWS;
Fri, 30 Aug 2013 12:12:41 +0200 blanchet renamed command to clarify connection with BNF
less more (0) -1000 -300 -100 -60 tip