| 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 |
| Sun, 22 Apr 2012 23:08:53 +0200 | wenzelm | bundle Isabelle.exe; | changeset | files |
| Sun, 22 Apr 2012 21:32:35 +0200 | huffman | tuned precedence order of transfer rules | changeset | files |