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 |