src/HOL/Mutabelle/etc/settings
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-03-25 krauss 2011-03-25 eliminated hardwired MUTABELLE_OUTPUT_PATH (cf. 6a147393c62a)
2011-03-13 wenzelm 2011-03-13 more conventional Mutabelle settings -- similar to Mirabelle;
2010-12-20 wenzelm 2010-12-20 tuned/clarified some component settings; explicit comments about common mistakes;
2010-12-08 bulwahn 2010-12-08 improving the mutabelle script
2010-12-06 bulwahn 2010-12-06 adding mutabelle as a component and an isabelle tool to be used in regression testing