Tue, 29 May 2012 20:20:32 +0200 wenzelm tuned message;
Tue, 29 May 2012 18:00:54 +0200 wenzelm more explicit treatment of return code vs. session phase;
Tue, 29 May 2012 17:54:34 +0200 wenzelm tuned signature;
Tue, 29 May 2012 16:39:42 +0200 wenzelm separate README dockable, which allows to make it more prominent first and remove it later;
Tue, 29 May 2012 13:46:50 +0200 bulwahn added optimisation for equational premises in Quickcheck; added some Quickcheck examples; NEWS
Tue, 29 May 2012 11:41:37 +0200 huffman shortened yet more multiset proofs;
Tue, 29 May 2012 11:30:13 +0200 huffman remove unused intermediate lemma
Tue, 29 May 2012 11:13:00 +0200 huffman shortened more multiset proofs
Tue, 29 May 2012 10:30:47 +0200 huffman shortened some proofs
Tue, 29 May 2012 10:08:31 +0200 huffman use transfer method for instance proof
Mon, 28 May 2012 20:51:23 +0200 blanchet tweaked remote Vampire setup
Mon, 28 May 2012 20:50:55 +0200 blanchet update docs
Mon, 28 May 2012 20:45:28 +0200 blanchet killed SPASS 3.5/3.7 FLOTTER hack -- requires users to upgrade to SPASS 3.8
Mon, 28 May 2012 20:25:38 +0200 blanchet don't generate definitions for LEO-II -- this cuases more harm than good
Mon, 28 May 2012 13:38:07 +0200 haftmann dropped sort constraints on datatype specifications
(0) -30000 -10000 -3000 -1000 -300 -100 -15 +15 +100 +300 +1000 +3000 +10000 tip