| Wed, 19 Feb 2014 15:57:02 +0000 | sultana | edges are now being shown in the proof graph; | changeset | files |
| Wed, 19 Feb 2014 15:57:02 +0000 | sultana | added case for handling 'assumption' lines in Satallax proofs; | changeset | files |
| Wed, 19 Feb 2014 15:57:02 +0000 | sultana | improved latex output: spacing between terms, and encoding terms in mathrm; | changeset | files |
| 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); | changeset | files |
| Wed, 19 Feb 2014 15:57:02 +0000 | sultana | added more node shapes (matched with roles); | changeset | files |
| Wed, 19 Feb 2014 16:33:11 +0100 | blanchet | updated NEWS | changeset | files |
| Wed, 19 Feb 2014 16:32:37 +0100 | blanchet | merged 'List.set' with BNF-generated 'set' | changeset | files |