| Mon, 23 Apr 2012 12:23:23 +0100 | sultana | updated test; | changeset | files |
| Mon, 23 Apr 2012 12:23:23 +0100 | sultana | improved non-interpretation of constants and numbers; | changeset | files |
| Mon, 23 Apr 2012 12:23:23 +0100 | sultana | improved interpreting conditionals; | changeset | files |
| Mon, 23 Apr 2012 12:23:23 +0100 | sultana | disabled interpreting arithmetic; | changeset | files |
| Mon, 23 Apr 2012 12:23:23 +0100 | sultana | improved handling of single-quoted names; | changeset | files |
| Mon, 23 Apr 2012 12:23:23 +0100 | sultana | disabled exception packaging in tptp; | changeset | files |
| Mon, 23 Apr 2012 12:23:23 +0100 | sultana | moved function for testing problem-name parsing; | changeset | files |
| Mon, 23 Apr 2012 12:23:23 +0100 | sultana | removed redundant function; | changeset | files |