src/HOL/Mutabelle/MutabelleExtra.thy
2012-02-11 bulwahn 2012-02-11 making num_mutations a configuration that can be changed with the mutabelle bash command
2012-02-11 bulwahn 2012-02-11 making max_mutants an option that can be changed in the Mutabelle-script
2011-05-27 blanchet 2011-05-27 renamed "Auto_Tools" "Try"
2010-12-03 blanchet 2010-12-03 run synchronous Auto Tools in parallel
2010-11-22 bulwahn 2010-11-22 adding AFP tests to Mutabelle_Extra; adopting mutabelle to recent quickcheck changes; filtering strange mutants; adding solvers to mutabelle; restructuring mutabelle
2010-11-03 blanchet 2010-11-03 standardize on seconds for Nitpick and Sledgehammer timeouts
2010-10-25 wenzelm 2010-10-25 more explicit indication of Output.Private_Hooks (still public to accomodate clones of Proof General for now);
2010-10-25 wenzelm 2010-10-25 renamed Output.priority to Output.urgent_message to emphasize its special role more clearly;
2010-09-11 blanchet 2010-09-11 finished renaming "Auto_Counterexample" to "Auto_Tools"
2010-01-25 bulwahn 2010-01-25 adding Mutabelle to repository