Mon, 26 May 2014 14:15:48 +0200 |
blanchet |
renamed 'MaSh' option
|
file |
diff |
annotate
|
Tue, 20 May 2014 22:28:08 +0200 |
blanchet |
added Isabelle system option 'mash'
|
file |
diff |
annotate
|
Sat, 19 Apr 2014 19:52:02 +0200 |
wenzelm |
more elementary option sledgehammer_provers, avoiding complications of defaults from ML side (NB: guessing at number of cores does not make sense in PIDE);
|
file |
diff |
annotate
|
Mon, 13 Jan 2014 20:20:44 +0100 |
wenzelm |
activation of Z3 via "z3_non_commercial" system option (without requiring restart);
|
file |
diff |
annotate
|
Sat, 17 Aug 2013 22:45:48 +0200 |
wenzelm |
prefer system option sledgehammer_timeout, with standard GUI in jEdit Plugin Options;
|
file |
diff |
annotate
|
Sat, 20 Jul 2013 16:45:00 +0200 |
wenzelm |
clarified option name, with improved sort order wrt. "time" options;
|
file |
diff |
annotate
|
Sat, 13 Jul 2013 18:33:33 +0200 |
wenzelm |
initial delay for automatically tried tools;
|
file |
diff |
annotate
|
Sat, 13 Jul 2013 14:11:48 +0200 |
wenzelm |
clarified some default options;
|
file |
diff |
annotate
|
Fri, 12 Jul 2013 23:45:05 +0200 |
wenzelm |
system options for Isabelle/HOL proof tools;
|
file |
diff |
annotate
|