Sat, 05 Dec 2015 16:09:41 +0100 |
switched from Isabelle2014 to Isabelle2015, intermediate state
|
file | diff | annotate |
Tue, 03 Sep 2013 21:46:42 +0100 |
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 |
updated TPTP parser to conform to version 5.4.0;
|
file | diff | annotate |
Mon, 23 Apr 2012 12:23:23 +0100 |
improved handling of single-quoted names;
|
file | diff | annotate |
Thu, 19 Apr 2012 07:25:41 +0100 |
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 |
tuned;
|
file | diff | annotate |
Wed, 04 Apr 2012 16:29:16 +0100 |
refactored tptp lex;
|
file | diff | annotate |
Wed, 04 Apr 2012 16:29:16 +0100 |
refactored tptp yacc to bring close to official spec;
|
file | diff | annotate |
Fri, 09 Mar 2012 15:38:55 +0000 |
added tptp parser;
|
file | diff | annotate |