NEWS
Sun, 31 Aug 2014 09:10:41 +0200 haftmann restored generic value slot, retaining default behaviour and separate approximate command
Thu, 28 Aug 2014 07:34:23 +0200 blanchet tuned terminology
Thu, 28 Aug 2014 07:30:16 +0200 blanchet moved new para to right section of NEWS
Thu, 28 Aug 2014 00:40:38 +0200 blanchet minor NEWS fix
Thu, 28 Aug 2014 00:40:38 +0200 blanchet updated NEWS
Thu, 28 Aug 2014 00:40:38 +0200 blanchet updated NEWS
Wed, 27 Aug 2014 13:05:59 +0200 blanchet removed not so interesting 'set_empty'
Tue, 19 Aug 2014 18:21:29 +0200 wenzelm merged
Tue, 19 Aug 2014 17:00:44 +0200 wenzelm added PARALLEL_ALLGOALS convenience;
Tue, 19 Aug 2014 09:34:27 +0200 blanchet documented slight incompatibility in NEWS
Mon, 18 Aug 2014 17:19:58 +0200 blanchet reordered some (co)datatype property names for more consistency
Sat, 16 Aug 2014 12:10:36 +0200 wenzelm updated documentation concerning 'named_theorems';
Thu, 14 Aug 2014 14:28:11 +0200 wenzelm localized command 'method_setup' and 'attribute_setup';
Sun, 10 Aug 2014 14:34:43 +0200 wenzelm merged -- with manual conflict resolution for src/HOL/SMT_Examples/SMT_Examples.certs2, src/HOL/SMT_Examples/SMT_Word_Examples.certs2, src/Doc/Prog_Prove/document/intro-isabelle.tex;
Fri, 08 Aug 2014 11:43:08 +0200 wenzelm improved monitor panel;
Mon, 04 Aug 2014 17:55:11 +0200 wenzelm tuned;
Thu, 31 Jul 2014 21:29:31 +0200 wenzelm completion popup supports both ENTER and TAB (default);
Wed, 30 Jul 2014 16:44:54 +0200 kuncar NEWS
Tue, 29 Jul 2014 17:13:25 +0200 hoelzl better ordering of positive_integral renaming to nn_integral in NEWS
Mon, 28 Jul 2014 11:03:28 +0200 wenzelm some actual workaround to remove document nodes;
Fri, 01 Aug 2014 14:43:57 +0200 blanchet updated NEWS
Sun, 27 Jul 2014 15:44:08 +0200 wenzelm back to post-release mode -- after fork point;
Sun, 27 Jul 2014 15:25:00 +0200 wenzelm tuned;
Thu, 24 Jul 2014 16:21:50 +0200 wenzelm tuned spelling;
Thu, 24 Jul 2014 10:22:34 +0200 wenzelm updated NEWS according to d38a98f496dd (see also bdc2c6b40bf2);
Mon, 21 Jul 2014 16:04:45 +0200 wenzelm clarified "simp_trace_new" and corresponding isar-ref section;
Wed, 09 Jul 2014 11:35:52 +0200 blanchet tuned terminology
Sat, 05 Jul 2014 12:04:25 +0200 wenzelm misc tuning for release;
Sat, 05 Jul 2014 11:06:14 +0200 haftmann NEWS
Fri, 04 Jul 2014 20:18:47 +0200 haftmann reduced name variants for assoc and commute on plus and mult
Fri, 04 Jul 2014 16:50:57 +0200 wenzelm misc tuning for release;
Fri, 04 Jul 2014 14:52:05 +0200 wenzelm misc tuning for release;
Fri, 04 Jul 2014 11:39:34 +0200 wenzelm NEWS;
Wed, 02 Jul 2014 17:34:45 +0200 wenzelm tuned grammar and spelling (cf. 0cf15843b82f);
Tue, 01 Jul 2014 17:16:11 +0200 immler overdue NEWS concerning c4daa97ac57a
Tue, 01 Jul 2014 16:08:31 +0100 paulson for new release
Tue, 01 Jul 2014 14:52:08 +0200 wenzelm misc updates for release;
Mon, 30 Jun 2014 10:53:37 +0200 wenzelm ProofGeneral-4.2-2 is optional component (including the traditional helper scripts);
Mon, 30 Jun 2014 09:43:44 +0200 wenzelm "isabelle tty" is superseded by "isabelle console";
Mon, 30 Jun 2014 08:00:36 +0200 haftmann qualified String.explode and String.implode
Sun, 29 Jun 2014 18:28:27 +0200 blanchet killed Python version of MaSh, now that the SML version works adequately
Sat, 28 Jun 2014 22:13:23 +0200 haftmann tracing facilities for the code generator preprocessor
Sat, 28 Jun 2014 15:50:48 +0200 wenzelm updated NEWS -- removed material that is already in the manual;
Sat, 28 Jun 2014 09:16:42 +0200 haftmann fact consolidation
Fri, 27 Jun 2014 16:04:56 +0200 wenzelm command 'print_term_bindings' supersedes 'print_binds';
Fri, 27 Jun 2014 15:30:57 +0200 wenzelm removed obsolete "isabelle unsymbolize";
Wed, 18 Jun 2014 13:23:09 +0200 blanchet enabled MaSh by default -- set 'MaSh' to 'none' in Isabelle Plugin Options to disable
Fri, 13 Jun 2014 14:49:59 +0100 paulson NEWS
Fri, 13 Jun 2014 14:08:20 +0200 hoelzl properties of normal distributed random variables (by Sudeep Kanav)
Fri, 13 Jun 2014 07:05:01 +0200 nipkow announce Tree
Thu, 12 Jun 2014 17:50:49 +0200 blanchet tuning
Thu, 12 Jun 2014 17:10:12 +0200 blanchet renamed Sledgehammer options
Thu, 12 Jun 2014 17:02:03 +0200 blanchet updated docs
Thu, 12 Jun 2014 17:02:03 +0200 blanchet took out broken support for Yices from SMT2 stack -- see 'NEWS' for rationale
Wed, 11 Jun 2014 11:28:46 +0200 blanchet updated NEWS slightly
Thu, 29 May 2014 16:13:47 +0200 nipkow removed Kleene_Algebra because of superior AFP entry; authors agreed
Tue, 27 May 2014 17:32:42 +0200 blanchet don't generate discriminators and selectors for 'datatype_new' unless the user asked for it
Mon, 26 May 2014 16:32:55 +0200 blanchet got rid of '=:' squiggly
Mon, 26 May 2014 14:15:48 +0200 blanchet renamed 'MaSh' option
Sat, 24 May 2014 20:24:43 +0200 wenzelm support for regular Windows TeX installation;
less more (0) -1000 -300 -100 -60 tip