NEWS
Mon, 14 Jan 2013 14:03:24 +0100 kuncar NEWS
Fri, 11 Jan 2013 22:01:49 +0100 wenzelm more NEWS;
Wed, 09 Jan 2013 12:22:09 +0100 wenzelm tune spelling;
Tue, 08 Jan 2013 16:23:07 +0100 wenzelm allow negative argument in "consumes" source format;
Fri, 04 Jan 2013 21:24:47 +0100 wenzelm merged
Fri, 04 Jan 2013 21:16:08 +0100 wenzelm more reactive completion popup by default;
Fri, 04 Jan 2013 19:00:49 +0100 blanchet updated docs
Fri, 04 Jan 2013 13:03:21 +0100 wenzelm more NEWS;
Fri, 04 Jan 2013 12:44:47 +0100 wenzelm document 'locale_deps';
Thu, 03 Jan 2013 14:23:10 +0100 wenzelm NEWS: ML runtime statistics;
Mon, 31 Dec 2012 13:08:37 +0100 wenzelm misc tuning for release;
Mon, 31 Dec 2012 12:25:11 +0100 wenzelm recovered Isabelle2012 NEWS from ae12b92c145a, except for e5420161d11d;
Sat, 29 Dec 2012 17:18:01 +0100 nipkow new theory Library/Finite_Lattice
Sun, 23 Dec 2012 19:54:15 +0100 nipkow renamed and added lemmas
Tue, 18 Dec 2012 21:59:44 +0100 haftmann discontinued legacy antiquotations and styles
Fri, 14 Dec 2012 15:46:01 +0100 hoelzl Remove the indexed basis from the definition of euclidean spaces and only use the set of Basis vectors
Fri, 14 Dec 2012 14:46:01 +0100 hoelzl NEWS
Fri, 14 Dec 2012 12:40:07 +0100 wenzelm merged
Thu, 13 Dec 2012 13:11:38 +0100 Christian Sternagel renamed "emb" to "list_hembeq";
Thu, 13 Dec 2012 19:53:55 +0100 wenzelm smarter handling of tracing messages: prover process pauses and enters user dialog;
Mon, 10 Dec 2012 16:06:57 +0100 wenzelm more generous tracing limit -- rescaled in MB;
Thu, 06 Dec 2012 21:46:20 +0100 wenzelm documentation for isabelle build_dialog and its implicit use in isabelle jedit;
Mon, 26 Nov 2012 19:53:43 +0100 wenzelm tuned;
Mon, 26 Nov 2012 17:13:44 +0100 wenzelm merged
Mon, 26 Nov 2012 11:46:19 +0100 blanchet updated NEWS etc.
Mon, 26 Nov 2012 13:54:43 +0100 wenzelm refined outer syntax 'help' command;
Sun, 25 Nov 2012 17:15:21 +0100 wenzelm added convenience actions isabelle.increase-font-size and isabelle.decrease-font-size;
Sat, 24 Nov 2012 15:49:43 +0100 wenzelm more NEWS/CONTRIBUTORS;
Sat, 24 Nov 2012 14:50:19 +0100 wenzelm improved editing support for control styles;
Sat, 24 Nov 2012 12:39:58 +0100 wenzelm added ISABELLE_PLATFORM_FAMILY;
Wed, 21 Nov 2012 10:57:50 +0100 hoelzl NEWS: document changes in HOL-Probability
Wed, 21 Nov 2012 10:48:58 +0100 hoelzl NEWS (changeset 13211e07d931): add Countable_Set
Wed, 21 Nov 2012 10:48:22 +0100 hoelzl NEWS (changeset 69b35a75caf3): document changes in FuncSet
Wed, 21 Nov 2012 09:07:41 +0100 nipkow new theory of immutable arrays
Tue, 20 Nov 2012 15:18:11 +0100 wenzelm simplified command line of "isabelle install";
Mon, 19 Nov 2012 20:23:47 +0100 wenzelm theorem status about oracles/futures is no longer printed by default;
Sun, 18 Nov 2012 16:04:13 +0100 wenzelm more generous tracing_limit, with explicit system option;
Sun, 18 Nov 2012 15:38:37 +0100 wenzelm adjust max_threads_value to capabilities of Poly/ML 5.5 and current hardware;
Sat, 17 Nov 2012 20:19:34 +0100 wenzelm NEWS;
Thu, 08 Nov 2012 19:55:19 +0100 bulwahn NEWS
Tue, 06 Nov 2012 15:15:33 +0100 blanchet renamed Sledgehammer option
Mon, 22 Oct 2012 22:24:34 +0200 haftmann incorporated constant chars into instantiation proof for enum;
Mon, 22 Oct 2012 14:52:38 +0200 wenzelm more detailed Prover IDE NEWS;
Sun, 21 Oct 2012 17:04:13 +0200 webertj merged
Fri, 19 Oct 2012 15:12:52 +0200 webertj Renamed {left,right}_distrib to distrib_{right,left}.
Sat, 20 Oct 2012 09:12:16 +0200 haftmann moved quite generic material from theory Enum to more appropriate places
Thu, 18 Oct 2012 15:05:17 +0200 blanchet renamed Isar-proof related options + changed semantics of Isar shrinking
Tue, 16 Oct 2012 21:30:52 +0200 wenzelm support for more informative errors in lazy enumerations;
Fri, 12 Oct 2012 22:10:45 +0200 wenzelm more NEWS;
Fri, 12 Oct 2012 21:39:58 +0200 wenzelm simplified 'typedef' specifications: discontinued implicit set definition and alternative name;
Thu, 11 Oct 2012 11:56:42 +0200 haftmann simplified construction of fold combinator on multisets;
Wed, 10 Oct 2012 13:03:50 +0200 Andreas Lochbihler efficient construction of red black trees from sorted associative lists
Mon, 08 Oct 2012 12:03:49 +0200 haftmann consolidated names of theorems on composition;
Mon, 08 Oct 2012 11:37:03 +0200 haftmann corrected NEWS
Thu, 04 Oct 2012 13:56:32 +0200 wenzelm some documentation of show_markup;
Fri, 28 Sep 2012 16:51:58 +0200 wenzelm smarter handling of tracing messages;
Sat, 22 Sep 2012 21:23:16 +0200 wenzelm some PIDE NEWS from this summer;
Fri, 21 Sep 2012 16:45:06 +0200 blanchet renamed "Codatatype" directory "BNF" (and corresponding session) -- this opens the door to no-nonsense session names like "HOL-BNF-LFP"
Thu, 20 Sep 2012 17:21:13 +0200 Andreas Lochbihler NEWS and CONTRIBUTORS for a5377f6d9f14 and f0ecc1550998
Sat, 15 Sep 2012 20:14:29 +0200 haftmann typeclass formalising bounded subtraction
less more (0) -1000 -300 -100 -60 tip