isabelle update -u path_cartouches;

isabelle update -u control_cartouches;

session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;

isabelle update_cartouches -c -t;

added 'satx' proof method to Try0

prefer more robust Synchronized.var;

system options for Isabelle/HOL proof tools;

repaired "Mutabelle" after Refute move

prefer ML_file over old uses;

making num_mutations a configuration that can be changed with the mutabelle bash command

making max_mutants an option that can be changed in the Mutabelle-script

renamed "Auto_Tools" "Try"

--HG--
rename : src/Tools/auto_tools.ML => src/Tools/try.ML

run synchronous Auto Tools in parallel

adding AFP tests to Mutabelle_Extra; adopting mutabelle to recent quickcheck changes; filtering strange mutants; adding solvers to mutabelle; restructuring mutabelle

standardize on seconds for Nitpick and Sledgehammer timeouts

more explicit indication of Output.Private_Hooks (still public to accomodate clones of Proof General for now);

renamed Output.priority to Output.urgent_message to emphasize its special role more clearly;

finished renaming "Auto_Counterexample" to "Auto_Tools"

adding Mutabelle to repository