| #
fe9da3ea |
|
15-Dec-2016 |
blanchet <none@none> |
updated CASC instructions + tuning
|
| #
1f59160a |
|
16-Mar-2016 |
wenzelm <none@none> |
less physical "logic" argument, with option -l like "isabelle console" etc.;
|
| #
239ff6e6 |
|
10-Mar-2016 |
wenzelm <none@none> |
prefer plain "isabelle" from PATH within Isabelle settings environment;
|
| #
00eb33e4 |
|
09-Mar-2016 |
wenzelm <none@none> |
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
|
| #
069a632f |
|
09-Mar-2016 |
wenzelm <none@none> |
isabelle.Build uses ML_Process directly;
isabelle_process is for batch mode only;
removed unused feeder (already part of "isabelle console");
|
| #
81b95d0d |
|
22-Jun-2015 |
blanchet <none@none> |
automatically build image
|
| #
74a71b69 |
|
22-Jun-2015 |
blanchet <none@none> |
filter out more Poly/ML messages from (ad hoc) TPTP toools
|
| #
e6ce61e0 |
|
22-Jun-2015 |
blanchet <none@none> |
removed (now illegal) semicolons in generated theory files
|
| #
35143236 |
|
14-Nov-2013 |
blanchet <none@none> |
implemented 'tptp_translate'
|
| #
3423ed7e |
|
24-May-2013 |
blanchet <none@none> |
pass noninteractive flag -- necessary to run under CASC's "runsolver" program
|
| #
7c1a0fa8 |
|
21-May-2013 |
blanchet <none@none> |
use HOL-TPTP image in TPTP tools (for less verbose and faster startup) and filter out some messages
|
| #
6ce0bd41 |
|
27-Apr-2012 |
blanchet <none@none> |
thread theory cleanly and use "smt" method rather than Sledgehammer for Z3 (because of obscure debilitating bug)
|
| #
8dc6a48b |
|
22-Apr-2012 |
blanchet <none@none> |
added timeout argument to TPTP tools
|
| #
cadbf5cb |
|
23-Jan-2012 |
blanchet <none@none> |
added problem importer
|
| #
90ee4884 |
|
23-Jan-2012 |
blanchet <none@none> |
rebranded Nitrox, for more uniformity
--HG--
rename : src/HOL/TPTP/lib/Tools/nitrox => src/HOL/TPTP/lib/Tools/tptp_nitpick
rename : src/HOL/Tools/Nitpick/nitrox.ML => src/HOL/Tools/Nitpick/nitpick_tptp.ML
|