| Wed, 19 Feb 2014 15:57:02 +0000 | sultana | added a function that carries out all the reconstruction steps, for improved usability; | changeset | files |
| Wed, 19 Feb 2014 15:57:02 +0000 | sultana | reconstruction framework for LEO-II's TPTP proofs; | changeset | files |
| Wed, 19 Feb 2014 15:57:02 +0000 | sultana | made list of test files a parameter to timed_test in TPTP_Test.thy, and updated dependent definitions; | changeset | files |
| Wed, 19 Feb 2014 15:57:02 +0000 | sultana | cleaned code used to produce a proof-graph; | changeset | files |
| Wed, 19 Feb 2014 15:57:02 +0000 | sultana | improved configurability of DOT exporter; | changeset | files |
| 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; | changeset | files |
| Wed, 19 Feb 2014 15:57:02 +0000 | sultana | experimented with presentation of DOT+LaTeX; | changeset | files |