NEWS
Tue, 28 Oct 2014 13:52:54 +0100 wenzelm 'notepad' requires proper nesting of begin/end;
Sun, 26 Oct 2014 15:57:10 +0100 wenzelm clarified default;
Fri, 24 Oct 2014 15:07:51 +0200 hoelzl use NO_MATCH-simproc for distribution rules in field_simps, otherwise field_simps on '(a / (c + d)) * (e + f)' can be non-terminating
Fri, 24 Oct 2014 15:07:49 +0200 hoelzl move NO_MATCH simproc from the AFP entry Graph_Theory to HOL
Thu, 23 Oct 2014 14:04:05 +0200 haftmann downshift of theory Parity in the hierarchy
Tue, 21 Oct 2014 21:55:45 +0200 wenzelm merged
Tue, 21 Oct 2014 21:35:45 +0200 wenzelm NEWS;
Tue, 21 Oct 2014 21:10:44 +0200 haftmann turn even into an abbreviation
Mon, 20 Oct 2014 16:52:36 +0200 wenzelm official support for "tt" style variants, avoid fragile \verb in LaTeX;
Sun, 19 Oct 2014 12:47:34 +0200 wenzelm NEWS;
Sat, 18 Oct 2014 22:49:59 +0200 wenzelm NEWS;
Tue, 14 Oct 2014 08:23:23 +0200 haftmann purely algebraic characterization of even and odd
Sun, 12 Oct 2014 17:05:34 +0200 haftmann generalized and consolidated some theorems concerning divisibility
Thu, 09 Oct 2014 22:43:48 +0200 haftmann more foundational definition for predicate even
Wed, 08 Oct 2014 17:09:07 +0200 wenzelm added parameterized ML antiquotations @{map N}, @{fold N}, @{fold_map N}, @{split_list N};
Wed, 08 Oct 2014 11:09:17 +0200 wenzelm simplified "sos" method;
Wed, 08 Oct 2014 09:09:12 +0200 Andreas Lochbihler move Code_Test to HOL/Library;
Tue, 07 Oct 2014 14:53:51 +0200 wenzelm added update_cartouches tool;
Mon, 06 Oct 2014 19:55:49 +0200 wenzelm improved spelling of formal INCOMPATIBILITY in historic versions (!) -- to avoid ad-hoc word completion multiply such lapses;
Mon, 06 Oct 2014 16:54:35 +0200 wenzelm completion for bibtex entries;
Sun, 05 Oct 2014 22:22:40 +0200 wenzelm NEWS;
Sat, 04 Oct 2014 22:15:31 +0200 wenzelm merged;
Sat, 04 Oct 2014 22:15:22 +0200 wenzelm NEWS;
Fri, 03 Oct 2014 14:46:26 +0200 wenzelm SideKick parser for bibtex entries;
Fri, 03 Oct 2014 11:03:37 +0200 wenzelm context menu for bibtex entries;
Thu, 02 Oct 2014 11:33:06 +0200 haftmann moved lemmas out of Int.thy which have nothing to do with int
Mon, 22 Sep 2014 21:28:57 +0200 wenzelm discontinued old "xnum" token category;
Sun, 21 Sep 2014 16:56:11 +0200 haftmann explicit separation of signed and unsigned numerals using existing lexical categories num and xnum
Thu, 18 Sep 2014 16:47:40 +0200 blanchet updated NEWS
Thu, 18 Sep 2014 15:07:43 +0200 haftmann product over monoids for lists
Fri, 12 Sep 2014 07:38:15 +0200 haftmann NEWS
Thu, 11 Sep 2014 19:32:36 +0200 blanchet updated news
Tue, 09 Sep 2014 17:50:54 +0200 nipkow enamed drop_Suc_conv_tl and nth_drop' to Cons_nth_drop_Suc
Sun, 07 Sep 2014 17:51:32 +0200 haftmann restrictive options for class dependencies
Fri, 05 Sep 2014 00:41:01 +0200 blanchet updated docs
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);
less more (0) -1000 -300 -100 -60 tip