| Thu, 10 Mar 2016 12:11:50 +0100 |
wenzelm |
isabelle_process is superseded by "isabelle process" tool;
|
file |
diff |
annotate
|
| Wed, 09 Mar 2016 19:30:09 +0100 |
wenzelm |
isabelle.Build uses ML_Process directly;
|
file |
diff |
annotate
|
| Mon, 22 Jun 2015 16:56:03 +0200 |
blanchet |
automatically build image
|
file |
diff |
annotate
|
| Mon, 22 Jun 2015 16:56:03 +0200 |
blanchet |
filter out more Poly/ML messages from (ad hoc) TPTP toools
|
file |
diff |
annotate
|
| Mon, 22 Jun 2015 16:56:03 +0200 |
blanchet |
removed (now illegal) semicolons in generated theory files
|
file |
diff |
annotate
|
| Thu, 21 Nov 2013 13:43:42 +0100 |
blanchet |
renamed TFF0/THF0 to three-letter acronyms, in keeping with new TPTP policy
|
file |
diff |
annotate
|
| Mon, 18 Nov 2013 18:04:44 +0100 |
blanchet |
send output of "tptp_translate" to standard output, to simplify Geoff Sutcliffe's life
|
file |
diff |
annotate
|
| Thu, 14 Nov 2013 19:54:10 +0100 |
blanchet |
implemented 'tptp_translate'
|
file |
diff |
annotate
|
| Thu, 14 Nov 2013 16:10:31 +0100 |
blanchet |
reintroduced (unimplemented) 'tptp_translate' tool
|
file |
diff |
annotate
|
| Mon, 23 Jan 2012 17:40:32 +0100 |
blanchet |
implemented "tptp_refute" tool
|
file |
diff |
annotate
|
| Mon, 23 Jan 2012 17:40:32 +0100 |
blanchet |
added problem importer
|
file |
diff |
annotate
|
| Mon, 23 Jan 2012 17:40:32 +0100 |
blanchet |
renamed two files to make room for a new file
|
file |
diff |
annotate
|
| Mon, 23 Jan 2012 17:40:31 +0100 |
blanchet |
rebranded Nitrox, for more uniformity
|
file |
diff |
annotate
|