isabelle process -T THEORY;

proper option -l;

prefer plain "isabelle" from PATH within Isabelle settings environment;

isabelle_process is superseded by "isabelle process" tool;
tuned tool usage;
misc updates and tuning of "system" manual;

--HG--
rename : bin/isabelle_process => lib/Tools/process

isabelle.Build uses ML_Process directly;
isabelle_process is for batch mode only;
removed unused feeder (already part of "isabelle console");

system options for Isabelle/HOL proof tools;

tuning mutabelle script

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

increase timeout to 30 seconds; changing mutabelle script

more configurations to mutabelle

revived Refute in Mutabelle

align columns in output and keep error log around

improving mutabelle script again after missing some changes in f4896c792316

adding testing of quickcheck narrowing with finite types to mutabelle script; modified is_executable in mutabelle_extra

changing quickcheck_timeout to 30 seconds in mutabelle's testing

exporting function in quickcheck; adapting mutabelle script

improved mutabelle script to use nat for quickcheck_narrowing

adding quickcheck narrowing to mutabelle script; deactivating nitpick in mutabelle script momentarily because we are not monitoring the results effectively

adding invocation of exhaustive testing without using finite types to mutabelle

eliminated hardwired MUTABELLE_OUTPUT_PATH (cf. 6a147393c62a)

more conventional Mutabelle settings -- similar to Mirabelle;

some attempts to fit diagnostic output into regular TTY (75-80 characters per line);

added nitpick to mutabelle script

improving the mutabelle script

adding mutabelle as a component and an isabelle tool to be used in regression testing

adapting copied bash code in mutabelle script