| Fri, 31 Jan 2014 12:30:54 +0100 | blanchet | refactor large ML file | changeset | files |
| Fri, 31 Jan 2014 12:16:59 +0100 | traytel | use Local_Theory.define instead of Specification.definition for internal constants | changeset | files |
| Fri, 31 Jan 2014 10:34:20 +0100 | blanchet | compile | changeset | files |
| Fri, 31 Jan 2014 10:23:32 +0100 | blanchet | renamed many Sledgehammer ML files to clarify structure | changeset | files |
| Fri, 31 Jan 2014 10:23:32 +0100 | blanchet | renamed ML file | changeset | files |
| Fri, 31 Jan 2014 10:23:32 +0100 | blanchet | tuned comment | changeset | files |
| Fri, 31 Jan 2014 10:23:32 +0100 | blanchet | tuned ML file name | changeset | files |
| Fri, 31 Jan 2014 10:23:32 +0100 | blanchet | tuned ML file name | changeset | files |
| Fri, 31 Jan 2014 10:02:36 +0100 | traytel | less hermetic tactics | changeset | files |
| Thu, 30 Jan 2014 22:55:52 +0100 | blanchet | merged | changeset | files |
| Thu, 30 Jan 2014 22:42:29 +0100 | blanchet | reverted unsound optimization | changeset | files |
| Thu, 30 Jan 2014 21:56:25 +0100 | blanchet | got rid of one of two Metis variants | changeset | files |
| Thu, 30 Jan 2014 21:02:19 +0100 | blanchet | tuning | changeset | files |
| Thu, 30 Jan 2014 20:39:49 +0100 | blanchet | unskolemize SPASS formula to ensure that the variables are in the right order for 'metis's skolemizer | changeset | files |
| Thu, 30 Jan 2014 18:37:08 +0100 | blanchet | killed needless pass | changeset | files |
| Thu, 30 Jan 2014 16:30:01 +0100 | haftmann | dependency reporting for code generation errors | changeset | files |