2014-05-26 blanchet 2014-05-26 renamed 'MaSh' option
2014-05-20 blanchet 2014-05-20 added Isabelle system option 'mash'
2014-04-19 wenzelm 2014-04-19 more elementary option sledgehammer_provers, avoiding complications of defaults from ML side (NB: guessing at number of cores does not make sense in PIDE);
2014-01-13 wenzelm 2014-01-13 activation of Z3 via "z3_non_commercial" system option (without requiring restart);
2013-08-17 wenzelm 2013-08-17 prefer system option sledgehammer_timeout, with standard GUI in jEdit Plugin Options;
2013-07-20 wenzelm 2013-07-20 clarified option name, with improved sort order wrt. "time" options;
2013-07-13 wenzelm 2013-07-13 initial delay for automatically tried tools;
2013-07-13 wenzelm 2013-07-13 clarified some default options;
2013-07-12 wenzelm 2013-07-12 system options for Isabelle/HOL proof tools;