NEWS
Mon, 07 Mar 2016 21:53:21 +0100 wenzelm discontinued cd, pwd;
Mon, 07 Mar 2016 21:09:28 +0100 wenzelm File.bash_string operations in ML as in Scala -- exclusively for GNU bash, not perl and not user output;
Tue, 08 Mar 2016 21:07:46 +0100 haftmann syntax for multiset membership modelled after syntax for set membership
Mon, 07 Mar 2016 23:20:11 +0100 blanchet made 'size' plugin compatible with locales again (and added regression test)
Sat, 05 Mar 2016 23:05:07 +0100 wenzelm NEWS after Isabelle2016;
Sat, 05 Mar 2016 20:47:31 +0100 wenzelm abbreviations for \<nexists>;
Sat, 05 Mar 2016 19:58:56 +0100 wenzelm old HOL syntax is for input only;
Sat, 05 Mar 2016 17:01:45 +0100 wenzelm tuned signature -- clarified modules;
Sat, 05 Mar 2016 12:49:47 +0100 wenzelm tuned signature;
Thu, 03 Mar 2016 22:16:52 +0100 wenzelm isabelle console -r" helps to bootstrap Isabelle/Pure;
Thu, 03 Mar 2016 21:30:31 +0100 wenzelm clarified isabelle_process;
Thu, 03 Mar 2016 11:12:02 +0100 wenzelm discontinued polyml-5.3.0;
Wed, 02 Mar 2016 19:43:31 +0100 wenzelm support for ML_exception_debugger;
Mon, 29 Feb 2016 22:34:36 +0100 wenzelm clarified session;
Mon, 29 Feb 2016 20:35:06 +0100 wenzelm isabelle_process executable no longer supports writable heap images;
Sun, 28 Feb 2016 17:37:20 +0100 wenzelm discontinued old 'header';
Sun, 28 Feb 2016 15:43:56 +0100 wenzelm removed pointless "isabelle yxml";
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;
less more (0) -1000 -300 -100 -60 tip