| Wed, 14 Dec 2016 18:52:17 +0100 |
blanchet |
support THF1 parsing for 'tptp_...' commands (e.g. 'tptp_isabelle') -- useful for CASC, SystemOnTPTP, ...
|
file |
diff |
annotate
|
| Fri, 20 Jun 2014 09:42:36 +0200 |
blanchet |
made 'tptp_graph' more liberal (why reject TFF?)
|
file |
diff |
annotate
|
| Wed, 19 Feb 2014 15:57:02 +0000 |
sultana |
cleaned code used to produce a proof-graph;
|
file |
diff |
annotate
|
| Wed, 19 Feb 2014 15:57:02 +0000 |
sultana |
improved configurability of DOT exporter;
|
file |
diff |
annotate
|
| Wed, 19 Feb 2014 15:57:02 +0000 |
sultana |
behaviour of tptp_graph now depends on an envir variable to indicate whether to produce proof graph containing formulas or not;
|
file |
diff |
annotate
|
| Wed, 19 Feb 2014 15:57:02 +0000 |
sultana |
experimented with presentation of DOT+LaTeX;
|
file |
diff |
annotate
|
| Wed, 19 Feb 2014 15:57:02 +0000 |
sultana |
edges are now being shown in the proof graph;
|
file |
diff |
annotate
|
| Wed, 19 Feb 2014 15:57:02 +0000 |
sultana |
experimenting with improving DOT output, and embedding LaTeX code for formulas (rather than only giving the clause number);
|
file |
diff |
annotate
|
| Wed, 19 Feb 2014 15:57:02 +0000 |
sultana |
added more node shapes (matched with roles);
|
file |
diff |
annotate
|
| Tue, 03 Sep 2013 21:46:40 +0100 |
sultana |
brought up to date with TPTP_Proof;
|
file |
diff |
annotate
|
| Wed, 11 Apr 2012 20:42:28 +0200 |
wenzelm |
standardized ML aliases;
|
file |
diff |
annotate
|
| Tue, 10 Apr 2012 06:45:15 +0100 |
sultana |
added graph-conversion utility for TPTP files
|
file |
diff |
annotate
|