| Tue, 03 Sep 2013 21:46:41 +0100 |
sultana |
updated TPTP parser to conform to version 5.4.0;
|
file |
diff |
annotate
|
| Tue, 03 Sep 2013 21:46:40 +0100 |
sultana |
get_file_list now returns files sorted by size;
|
file |
diff |
annotate
|
| Tue, 03 Sep 2013 21:46:40 +0100 |
sultana |
reading tptp status code;
|
file |
diff |
annotate
|
| Mon, 23 Apr 2012 12:23:23 +0100 |
sultana |
improved non-interpretation of constants and numbers;
|
file |
diff |
annotate
|
| Thu, 19 Apr 2012 07:25:41 +0100 |
sultana |
exceptions related to interpreting tptp problems now mention the relevant position in the tptp file;
|
file |
diff |
annotate
|
| Fri, 13 Apr 2012 13:59:35 +0200 |
wenzelm |
eliminated hard tabs;
|
file |
diff |
annotate
|
| Wed, 11 Apr 2012 20:42:28 +0200 |
wenzelm |
standardized ML aliases;
|
file |
diff |
annotate
|
| Wed, 04 Apr 2012 16:29:17 +0100 |
sultana |
tuned;
|
file |
diff |
annotate
|
| Wed, 04 Apr 2012 16:29:16 +0100 |
sultana |
refactored tptp yacc to bring close to official spec;
|
file |
diff |
annotate
|
| Fri, 09 Mar 2012 15:38:55 +0000 |
sultana |
added tptp parser;
|
file |
diff |
annotate
|