#
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
|
#
c83d0af5 |
|
21-Nov-2013 |
blanchet <none@none> |
renamed TFF0/THF0 to three-letter acronyms, in keeping with new TPTP policy
|
#
40798651 |
|
18-Nov-2013 |
blanchet <none@none> |
send output of "tptp_translate" to standard output, to simplify Geoff Sutcliffe's life
|
#
35143236 |
|
14-Nov-2013 |
blanchet <none@none> |
implemented 'tptp_translate'
|
#
e5672522 |
|
14-Nov-2013 |
blanchet <none@none> |
reintroduced (unimplemented) 'tptp_translate' tool
|
#
69e6c283 |
|
26-Nov-2012 |
blanchet <none@none> |
removed tool that was never finished
|
#
5e652fe1 |
|
23-Jan-2012 |
blanchet <none@none> |
implemented "tptp_refute" tool
|
#
cadbf5cb |
|
23-Jan-2012 |
blanchet <none@none> |
added problem importer
|
#
678bfbab |
|
23-Jan-2012 |
blanchet <none@none> |
renamed two files to make room for a new file --HG-- rename : src/HOL/Tools/ATP/atp_translate.ML => src/HOL/Tools/ATP/atp_problem_generate.ML rename : src/HOL/Tools/ATP/atp_reconstruct.ML => src/HOL/Tools/ATP/atp_proof_reconstruct.ML rename : src/HOL/Tools/ATP/atp_redirect.ML => src/HOL/Tools/ATP/atp_proof_redirect.ML rename : src/HOL/Tools/Metis/metis_translate.ML => src/HOL/Tools/Metis/metis_generate.ML
|
#
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
|