blanchet [Sat, 11 Feb 2012 13:41:36 +0100] rev 47283
new SPASS options
bulwahn [Sat, 11 Feb 2012 12:13:08 +0100] rev 47282
making num_mutations a configuration that can be changed with the mutabelle bash command
bulwahn [Sat, 11 Feb 2012 11:36:23 +0100] rev 47281
making max_mutants an option that can be changed in the Mutabelle-script
bulwahn [Sat, 11 Feb 2012 11:36:21 +0100] rev 47280
increase timeout to 30 seconds; changing mutabelle script
blanchet [Fri, 10 Feb 2012 17:10:49 +0100] rev 47279
parse clauses generated from several formulas
blanchet [Fri, 10 Feb 2012 17:10:47 +0100] rev 47278
be more gentle when generating KBO weights
blanchet [Fri, 10 Feb 2012 16:33:58 +0100] rev 47277
update SPASS slices
Cezary Kaliszyk <cezarykaliszyk@gmail.com> [Fri, 10 Feb 2012 09:47:59 +0100] rev 47276
more specification of the quotient package in IsarRef
Cezary Kaliszyk <cezarykaliszyk@gmail.com> [Fri, 10 Feb 2012 09:02:51 +0100] rev 47275
specification of the quotient package
blanchet [Thu, 09 Feb 2012 16:00:04 +0100] rev 47274
tune KBO weight code