sultana [Tue, 03 Sep 2013 21:46:41 +0100] rev 53392
updated syntax to use 'ML_file' rather than 'uses';
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;
sultana [Tue, 03 Sep 2013 21:46:40 +0100] rev 53390
get_file_list now returns files sorted by size;
sultana [Tue, 03 Sep 2013 21:46:40 +0100] rev 53389
brought up to date with TPTP_Proof;
sultana [Tue, 03 Sep 2013 21:46:40 +0100] rev 53388
using richer annotation from formula annotations in proof;
sultana [Tue, 03 Sep 2013 21:46:40 +0100] rev 53387
extracting more info from formula annotation in proof;
sultana [Tue, 03 Sep 2013 21:46:40 +0100] rev 53386
corrected syntax filter;
sultana [Tue, 03 Sep 2013 21:46:40 +0100] rev 53385
reading tptp status code;