Mercurialisabelle / changelog
summary | shortlog | changelog | graph | tags | branches | files | gz
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 +10 +30 +100 +300 +1000 tip
3 months ago blanchet [Sat, 11 Feb 2012 13:41:36 +0100] rev 46412
new SPASS options
src/HOL/Tools/ATP/atp_systems.ML

3 months ago bulwahn [Sat, 11 Feb 2012 12:13:08 +0100] rev 46411
making num_mutations a configuration that can be changed with the mutabelle bash command
src/HOL/Mutabelle/MutabelleExtra.thy src/HOL/Mutabelle/etc/settings src/HOL/Mutabelle/lib/Tools/mutabelle src/HOL/Mutabelle/mutabelle_extra.ML

3 months ago bulwahn [Sat, 11 Feb 2012 11:36:23 +0100] rev 46410
making max_mutants an option that can be changed in the Mutabelle-script
src/HOL/Mutabelle/MutabelleExtra.thy src/HOL/Mutabelle/etc/settings src/HOL/Mutabelle/lib/Tools/mutabelle src/HOL/Mutabelle/mutabelle_extra.ML

3 months ago bulwahn [Sat, 11 Feb 2012 11:36:21 +0100] rev 46409
increase timeout to 30 seconds; changing mutabelle script
src/HOL/Mutabelle/lib/Tools/mutabelle src/HOL/Mutabelle/mutabelle_extra.ML

3 months ago blanchet [Fri, 10 Feb 2012 17:10:49 +0100] rev 46408
parse clauses generated from several formulas
src/HOL/Tools/ATP/atp_proof.ML

3 months ago blanchet [Fri, 10 Feb 2012 17:10:47 +0100] rev 46407
be more gentle when generating KBO weights
src/HOL/Tools/ATP/atp_problem_generate.ML

3 months ago blanchet [Fri, 10 Feb 2012 16:33:58 +0100] rev 46406
update SPASS slices
src/HOL/Tools/ATP/atp_systems.ML

3 months ago Cezary Kaliszyk <cezarykaliszyk@gmail.com> [Fri, 10 Feb 2012 09:47:59 +0100] rev 46405
more specification of the quotient package in IsarRef
doc-src/IsarRef/Thy/HOL_Specific.thy doc-src/IsarRef/Thy/document/HOL_Specific.tex src/HOL/List.thy

3 months ago Cezary Kaliszyk <cezarykaliszyk@gmail.com> [Fri, 10 Feb 2012 09:02:51 +0100] rev 46404
specification of the quotient package
doc-src/IsarRef/Thy/HOL_Specific.thy doc-src/IsarRef/Thy/document/HOL_Specific.tex

3 months ago blanchet [Thu, 09 Feb 2012 16:00:04 +0100] rev 46403
tune KBO weight code
src/HOL/Tools/ATP/atp_problem_generate.ML

(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 +10 +30 +100 +300 +1000 tip
isabelle