| Thu, 31 Dec 2015 20:57:00 +0100 |
wenzelm |
expand hard tabs;
|
file |
diff |
annotate
|
| Thu, 07 Aug 2014 12:17:41 +0200 |
blanchet |
support TFF1 in TPTP parser/interpreter
|
file |
diff |
annotate
|
| Tue, 05 Aug 2014 15:55:39 +0200 |
blanchet |
regenerated ML-Lex/Yacc files
|
file |
diff |
annotate
|
| Tue, 03 Sep 2013 21:46:42 +0100 |
sultana |
updated TPTP parser to conform to version 5.5.0 (but excluding the TPI language since its parser spec is still incomplete);
|
file |
diff |
annotate
|
| Tue, 03 Sep 2013 21:46:41 +0100 |
sultana |
updated TPTP parser to conform to version 5.4.0;
|
file |
diff |
annotate
|
| Mon, 23 Apr 2012 12:23:23 +0100 |
sultana |
improved handling of single-quoted names;
|
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
|
| Wed, 04 Apr 2012 16:29:17 +0100 |
sultana |
tuned;
|
file |
diff |
annotate
|
| Wed, 04 Apr 2012 16:29:16 +0100 |
sultana |
refactored tptp lex;
|
file |
diff |
annotate
|
| Wed, 04 Apr 2012 16:29:16 +0100 |
sultana |
refactored tptp yacc to bring close to official spec;
|
file |
diff |
annotate
|
| Tue, 03 Apr 2012 17:33:22 +0100 |
sultana |
removed use of CharVector in generated parser, to make SMLNJ happy
|
file |
diff |
annotate
|
| Fri, 09 Mar 2012 15:38:55 +0000 |
sultana |
added tptp parser;
|
file |
diff |
annotate
|