Tue, 03 Sep 2013 21:46:41 +0100 updated syntax to use 'ML_file' rather than 'uses';
sultana [Tue, 03 Sep 2013 21:46:41 +0100] rev 53392
updated syntax to use 'ML_file' rather than 'uses';
Tue, 03 Sep 2013 21:46:41 +0100 now allowing numeric identifiers to be used in 'file' annotations;
sultana [Tue, 03 Sep 2013 21:46:41 +0100] rev 53391
now allowing numeric identifiers to be used in 'file' annotations; more informative failure of missed cases by raising ANNOT_STRUCTURE instead of the default Match;
Tue, 03 Sep 2013 21:46:40 +0100 get_file_list now returns files sorted by size;
sultana [Tue, 03 Sep 2013 21:46:40 +0100] rev 53390
get_file_list now returns files sorted by size;
Tue, 03 Sep 2013 21:46:40 +0100 brought up to date with TPTP_Proof;
sultana [Tue, 03 Sep 2013 21:46:40 +0100] rev 53389
brought up to date with TPTP_Proof;
Tue, 03 Sep 2013 21:46:40 +0100 using richer annotation from formula annotations in proof;
sultana [Tue, 03 Sep 2013 21:46:40 +0100] rev 53388
using richer annotation from formula annotations in proof;
Tue, 03 Sep 2013 21:46:40 +0100 extracting more info from formula annotation in proof;
sultana [Tue, 03 Sep 2013 21:46:40 +0100] rev 53387
extracting more info from formula annotation in proof;
Tue, 03 Sep 2013 21:46:40 +0100 corrected syntax filter;
sultana [Tue, 03 Sep 2013 21:46:40 +0100] rev 53386
corrected syntax filter;
Tue, 03 Sep 2013 21:46:40 +0100 reading tptp status code;
sultana [Tue, 03 Sep 2013 21:46:40 +0100] rev 53385
reading tptp status code;
Tue, 03 Sep 2013 21:46:40 +0100 improved handling of nonstandard problem names;
sultana [Tue, 03 Sep 2013 21:46:40 +0100] rev 53384
improved handling of nonstandard problem names;
Tue, 03 Sep 2013 22:30:52 +0200 merged
wenzelm [Tue, 03 Sep 2013 22:30:52 +0200] rev 53383
merged
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip