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