src/HOL/Mutabelle/MutabelleExtra.thy
2014-05-04 blanchet 2014-05-04 added 'satx' proof method to Try0
2014-03-14 wenzelm 2014-03-14 prefer more robust Synchronized.var;
2013-07-12 wenzelm 2013-07-12 system options for Isabelle/HOL proof tools;
2012-10-31 blanchet 2012-10-31 repaired "Mutabelle" after Refute move
2012-08-22 wenzelm 2012-08-22 prefer ML_file over old uses;
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