#
b93bc514 |
|
02-Jul-2018 |
blanchet <none@none> |
added option for noncommercial Vampire
|
#
10223915 |
|
26-Jun-2015 |
wenzelm <none@none> |
adapted to a9b71c82647b;
|
#
58c103e4 |
|
14-Apr-2015 |
wenzelm <none@none> |
clarified sledgehammer options to approximate old-style diagnostic command;
|
#
2c86cbbc |
|
08-Apr-2015 |
blanchet <none@none> |
updated SMT module and Sledgehammer to fully open source Z3
|
#
d0e7aa51 |
|
19-Mar-2015 |
wenzelm <none@none> |
tuned;
|
#
6c7ff185 |
|
24-Jul-2014 |
blanchet <none@none> |
reenabled MaSh for Isabelle2014 release (hopefully)
|
#
4a341ec2 |
|
16-Jul-2014 |
blanchet <none@none> |
disabled MaSh for the Isabelle2014 release, due to a couple of issues
|
#
96f18c51 |
|
09-Jul-2014 |
blanchet <none@none> |
tuned terminology
|
#
fc231247 |
|
01-Jul-2014 |
blanchet <none@none> |
changed default MaSh engine
|
#
3842fa63 |
|
29-Jun-2014 |
blanchet <none@none> |
killed Python version of MaSh, now that the SML version works adequately
|
#
b1b56291 |
|
18-Jun-2014 |
blanchet <none@none> |
enabled MaSh by default -- set 'MaSh' to 'none' in Isabelle Plugin Options to disable
|
#
feafc9a8 |
|
26-May-2014 |
blanchet <none@none> |
renamed 'MaSh' option
|
#
15551912 |
|
20-May-2014 |
blanchet <none@none> |
added Isabelle system option 'mash'
|
#
377def23 |
|
19-Apr-2014 |
wenzelm <none@none> |
more elementary option sledgehammer_provers, avoiding complications of defaults from ML side (NB: guessing at number of cores does not make sense in PIDE);
|
#
115c1df3 |
|
13-Jan-2014 |
wenzelm <none@none> |
activation of Z3 via "z3_non_commercial" system option (without requiring restart);
|
#
0122820d |
|
17-Aug-2013 |
wenzelm <none@none> |
prefer system option sledgehammer_timeout, with standard GUI in jEdit Plugin Options;
|
#
c93cebd7 |
|
20-Jul-2013 |
wenzelm <none@none> |
clarified option name, with improved sort order wrt. "time" options;
|
#
51147d22 |
|
13-Jul-2013 |
wenzelm <none@none> |
initial delay for automatically tried tools;
|
#
605a34bf |
|
13-Jul-2013 |
wenzelm <none@none> |
clarified some default options;
|
#
e46f39e8 |
|
12-Jul-2013 |
wenzelm <none@none> |
system options for Isabelle/HOL proof tools;
|