NEWS
Sat, 27 Feb 2016 21:04:13 +0100 wenzelm symbol interpretation for \<circle>;
Fri, 26 Feb 2016 22:44:11 +0100 haftmann more succint formulation of membership for multisets, similar to lists;
Thu, 25 Feb 2016 19:08:48 +0100 wenzelm isabelle_scala_script is usually found by PATH;
Thu, 25 Feb 2016 13:58:48 +0000 paulson Conformal_mappings: a big development in complex analysis (+ some lemmas)
Thu, 25 Feb 2016 00:36:44 +0100 wenzelm tuned;
Wed, 24 Feb 2016 07:41:52 +0100 nipkow NEWS
Wed, 10 Feb 2016 18:43:19 +0100 hoelzl Rename ordered_comm_monoid_add to ordered_cancel_comm_monoid_add. Introduce ordreed_comm_monoid_add, canonically_ordered_comm_monoid and dioid. Setup nat, entat and ennreal as dioids.
Thu, 18 Feb 2016 17:07:10 +0100 haftmann NEWS concerning 66a381d3f88f
Wed, 17 Feb 2016 23:29:35 +0100 wenzelm merged
Wed, 17 Feb 2016 23:06:24 +0100 wenzelm SML/NJ is no longer supported;
Wed, 17 Feb 2016 21:51:58 +0100 haftmann dropped various legacy fact bindings and tuned proofs
Wed, 17 Feb 2016 21:51:58 +0100 haftmann separated potentially conflicting type class instance into separate theory
Wed, 17 Feb 2016 21:51:57 +0100 haftmann dropped various legacy fact bindings
Wed, 17 Feb 2016 21:51:57 +0100 haftmann generalized some lemmas;
Wed, 17 Feb 2016 21:51:56 +0100 haftmann further generalization and polishing
Wed, 17 Feb 2016 21:51:56 +0100 haftmann prefer abbreviations for compound operators INFIMUM and SUPREMUM
Wed, 17 Feb 2016 17:08:36 +0100 blanchet making 'pred_inject' a first-class BNF citizen
Wed, 17 Feb 2016 15:41:28 +0100 traytel NEWS
Wed, 17 Feb 2016 12:07:49 +0100 blanchet document new 'primrec' feature
Sun, 14 Feb 2016 16:30:27 +0100 wenzelm command '\<proof>' is an alias for 'sorry', with different typesetting;
Fri, 12 Feb 2016 22:36:48 +0100 wenzelm merged
Mon, 01 Feb 2016 14:10:07 +0100 wenzelm tuned NEWS: long-running tasks can still prevent urgent tasks from being started, due to start_execution pri = 0;
Sun, 31 Jan 2016 19:54:40 +0100 wenzelm more on "ML debugging within the Prover IDE";
Sun, 24 Jan 2016 13:07:50 +0100 wenzelm proper NEWS for this release;
Sun, 24 Jan 2016 12:33:09 +0100 wenzelm tuned;
Sun, 24 Jan 2016 12:21:57 +0100 wenzelm discontinued irregular abbrevs: ".o" counts as word, "+o", "*o", "-o" are occasionally used as ASCII notation, "*o" is in conflict with "(*o" in comments;
Fri, 22 Jan 2016 14:46:02 +0100 wenzelm tuned markup, e.g. relevant for Rendering.tooltip;
Wed, 20 Jan 2016 20:19:05 +0100 wenzelm back to post-release mode -- after fork point;
Wed, 20 Jan 2016 18:04:41 +0100 blanchet fixed NEWS w.r.t. multisets
Wed, 20 Jan 2016 17:14:53 +0100 blanchet added 'supset' variants for new '<#' etc. symbols on multisets
Tue, 19 Jan 2016 14:00:47 +0100 wenzelm tuned;
Tue, 19 Jan 2016 11:19:25 +0100 Manuel Eberl Added approximation of powr to NEWS/CONTRIBUTORS
Wed, 13 Jan 2016 16:55:56 +0100 wenzelm removed old 'defs' command;
Wed, 13 Jan 2016 16:41:32 +0100 wenzelm Eisbach works for other object-logics, e.g. Eisbach_FOL.thy;
Wed, 13 Jan 2016 15:17:11 +0100 wenzelm tuned;
Wed, 13 Jan 2016 09:09:38 +0100 blanchet updated NEWS
Wed, 13 Jan 2016 00:12:43 +0100 wenzelm more good NEWS;
Sun, 10 Jan 2016 19:46:31 -0800 kleing print_record NEWS and CONTRIBUTORS
Sat, 09 Jan 2016 22:22:17 +0100 wenzelm generate HTML version of NEWS, with proper symbol rendering;
Sat, 09 Jan 2016 13:31:31 +0100 wenzelm merged
Sat, 09 Jan 2016 13:00:04 +0100 wenzelm tuned;
Sat, 09 Jan 2016 12:58:57 +0100 wenzelm \<struct> loses its rendering and is superseded by \<diamondop>;
Sat, 09 Jan 2016 12:35:07 +0100 wenzelm discontinued \<struct> syntax;
Fri, 08 Jan 2016 17:40:59 +0100 hoelzl add uniform spaces
Fri, 08 Jan 2016 15:54:43 +0100 wenzelm tuned;
Fri, 08 Jan 2016 15:49:01 +0100 wenzelm merged
Thu, 07 Jan 2016 15:53:39 +0100 wenzelm more uniform treatment of package internals;
Thu, 07 Jan 2016 14:44:51 +0100 Manuel Eberl Added formal power series updates to NEWS/CONTRIBUTORS
Wed, 06 Jan 2016 16:17:50 +0100 wenzelm misc tuning for release;
Wed, 06 Jan 2016 12:18:53 +0100 hoelzl add the proof of the central limit theorem
Wed, 06 Jan 2016 13:04:31 +0100 blanchet updated NEWS
Wed, 06 Jan 2016 00:04:15 +0100 wenzelm added ML antiquotation @{method};
Tue, 05 Jan 2016 15:53:17 +0100 wenzelm misc tuning for release;
Tue, 05 Jan 2016 15:38:37 +0100 eberlm Added summability/Gamma/etc. to NEWS and CONTRIBUTORS
Sat, 02 Jan 2016 13:22:46 +0100 wenzelm NEWS;
Fri, 01 Jan 2016 19:42:48 +0100 wenzelm oops;
Fri, 01 Jan 2016 16:39:10 +0100 wenzelm tuned;
Fri, 01 Jan 2016 14:44:52 +0100 wenzelm more symbols;
Thu, 31 Dec 2015 21:24:58 +0100 wenzelm misc tuning for release;
Thu, 31 Dec 2015 21:06:09 +0100 wenzelm misc updates for release;
less more (0) -1000 -300 -100 -60 tip