NEWS
Tue, 29 May 2012 13:46:50 +0200 bulwahn added optimisation for equational premises in Quickcheck; added some Quickcheck examples; NEWS
Thu, 24 May 2012 15:01:17 +0200 wenzelm discontinued support for Poly/ML 5.2.1;
Wed, 23 May 2012 16:22:27 +0200 wenzelm discontinued obsolete method fastsimp / tactic fast_simp_tac;
Wed, 23 May 2012 12:02:27 +0200 wenzelm merged, abandoning change of src/HOL/Tools/ATP/atp_problem_generate.ML from 6ea205a4d7fd;
Wed, 02 May 2012 22:05:59 +0200 wenzelm back to post-release mode -- after fork point;
Thu, 03 May 2012 22:07:29 +0200 wenzelm more NEWS;
Wed, 02 May 2012 20:43:57 +0200 wenzelm some re-ordering;
Wed, 02 May 2012 20:31:15 +0200 wenzelm some re-ordering;
Wed, 02 May 2012 20:15:31 +0200 wenzelm tuned spelling;
Wed, 02 May 2012 17:23:41 +0200 huffman edit NEWS items for transfer/lifting
Mon, 30 Apr 2012 22:18:39 +1000 Gerwin Klein provide [[record_codegen]] option for skipping codegen setup for records
Sat, 28 Apr 2012 18:09:50 +0200 wenzelm some re-ordering;
Sat, 28 Apr 2012 17:54:50 +0200 wenzelm updated system manual for release;
Sat, 28 Apr 2012 10:03:46 +0200 haftmann less confusion in NEWS
Fri, 27 Apr 2012 21:24:30 +0200 wenzelm mention tools and packages earlier;
Fri, 27 Apr 2012 21:13:55 +0200 wenzelm tuned;
Fri, 27 Apr 2012 21:02:34 +0200 wenzelm tuned;
Wed, 25 Apr 2012 14:28:13 +0200 hoelzl sorted lemma list in NEWS
Mon, 23 Apr 2012 22:22:57 +0200 wenzelm merged
Mon, 23 Apr 2012 21:31:52 +0200 krauss NEWS
Mon, 23 Apr 2012 21:53:43 +0200 wenzelm typedef with implicit set definition is considered legacy;
Mon, 23 Apr 2012 12:14:35 +0200 hoelzl reworked Probability theory
Sun, 22 Apr 2012 16:33:41 +0200 wenzelm merged
Sun, 22 Apr 2012 14:16:46 +0200 blanchet fixed typos
Sun, 22 Apr 2012 14:30:18 +0200 wenzelm USER_HOME settings variable points to cross-platform user home directory;
Sat, 21 Apr 2012 21:38:08 +0200 huffman update NEWS for transfer/quotient
Sat, 21 Apr 2012 13:54:29 +0200 huffman NEWS for transfer, lifting, and quotient
Fri, 20 Apr 2012 11:17:01 +0200 hoelzl NEWS
Thu, 19 Apr 2012 23:18:47 +0200 wenzelm merged
Thu, 19 Apr 2012 22:21:15 +0200 hoelzl NEWS
Thu, 19 Apr 2012 15:02:13 +0200 wenzelm more robust Sledgehammer in Prover IDE;
Tue, 17 Apr 2012 16:21:47 +1000 Thomas Sewell New tactic "word_bitwise" expands word equalities/inequalities into logic.
Wed, 18 Apr 2012 22:40:25 +0200 blanchet Sledgehammer NEWS and CONTRIBUTORS
Wed, 18 Apr 2012 20:48:15 +0200 haftmann dropped errorneous NEWS entry
Wed, 18 Apr 2012 20:47:21 +0200 haftmann consolidated NEWS entries on fold
Wed, 18 Apr 2012 20:45:48 +0200 haftmann grouped fold-related NEWS entries together
Wed, 18 Apr 2012 20:40:52 +0200 haftmann grouped NEWS concerning relations together
Wed, 18 Apr 2012 20:38:15 +0200 haftmann merged rename traces
Mon, 16 Apr 2012 19:38:48 +0200 wenzelm repaired some damage caused by merging with version from 12 days ago (cf. 8c8f27864ed1);
Mon, 16 Apr 2012 19:01:57 +0200 nipkow merged
Wed, 04 Apr 2012 09:59:49 +0200 nipkow refined new tutorial announcement
Sun, 15 Apr 2012 14:50:09 +0200 wenzelm some coverage of bundled declarations;
Sun, 15 Apr 2012 13:15:14 +0200 wenzelm some coverage of unnamed contexts, which can be nested within other targets;
Sat, 14 Apr 2012 13:05:59 +0200 wenzelm misc tuning for release;
Sat, 14 Apr 2012 12:51:38 +0200 wenzelm revert changes of already published NEWS;
Sat, 14 Apr 2012 12:46:45 +0200 wenzelm some updates for release;
Sat, 14 Apr 2012 12:36:11 +0200 wenzelm more robust treatment of ISABELLE_HOME on windows: eliminate spaces and funny unicode characters in directory name via DOS~1 notation;
Fri, 13 Apr 2012 13:30:27 +0200 Andreas Lochbihler Automated merge with ssh://macbroy25.informatik.tu-muenchen.de//home/isabelle-repository/repos/isabelle
Fri, 13 Apr 2012 13:29:55 +0200 Andreas Lochbihler NEWS
Fri, 13 Apr 2012 09:17:01 +0200 bulwahn NEWS
Wed, 11 Apr 2012 21:40:46 +0200 wenzelm rule composition via attribute "OF" (or ML functions OF/MRS) is more tolerant against multiple unifiers;
Tue, 10 Apr 2012 11:42:15 +0200 wenzelm some coverage of HOL/TPTP;
Fri, 06 Apr 2012 19:23:51 +0200 haftmann abandoned almost redundant *_foldr lemmas
Fri, 06 Apr 2012 18:17:16 +0200 haftmann no preference wrt. fold(l/r); prefer fold rather than foldr for iterating over lists in generated code
Wed, 04 Apr 2012 14:08:24 +0200 bulwahn documenting options quickcheck_locale; adjusting IsarRef documentation of Quotient predicate; NEWS
Mon, 02 Apr 2012 13:47:00 +0200 nipkow new tutorial
Sun, 01 Apr 2012 22:55:06 +0200 krauss less modest NEWS; CONTRIBUTORS
Sun, 01 Apr 2012 22:41:56 +0200 krauss renamed import session back to Import, conforming to directory name; NEWS
Fri, 30 Mar 2012 11:16:35 +0200 huffman removed redundant nat-specific copies of theorems
Fri, 30 Mar 2012 09:04:29 +0200 haftmann power on predicate relations
less more (0) -1000 -300 -100 -60 tip