| Tue, 03 Sep 2013 21:46:41 +0100 | sultana | updated syntax to use 'ML_file' rather than 'uses'; | changeset | files |
| Tue, 03 Sep 2013 21:46:41 +0100 | sultana | now allowing numeric identifiers to be used in 'file' annotations; | changeset | files |
| Tue, 03 Sep 2013 21:46:40 +0100 | sultana | get_file_list now returns files sorted by size; | changeset | files |
| Tue, 03 Sep 2013 21:46:40 +0100 | sultana | brought up to date with TPTP_Proof; | changeset | files |
| Tue, 03 Sep 2013 21:46:40 +0100 | sultana | using richer annotation from formula annotations in proof; | changeset | files |
| Tue, 03 Sep 2013 21:46:40 +0100 | sultana | extracting more info from formula annotation in proof; | changeset | files |
| Tue, 03 Sep 2013 21:46:40 +0100 | sultana | corrected syntax filter; | changeset | files |
| Tue, 03 Sep 2013 21:46:40 +0100 | sultana | reading tptp status code; | changeset | files |