| Thu, 19 Dec 2013 21:49:30 +0100 | blanchet | implemented 'exhaustive' option in tactic | changeset | files |
| Thu, 19 Dec 2013 20:07:06 +0100 | blanchet | tuning | changeset | files |
| Thu, 19 Dec 2013 19:37:43 +0100 | blanchet | tuning | changeset | files |
| Thu, 19 Dec 2013 19:35:50 +0100 | blanchet | tuning 'case' expressions | changeset | files |
| Thu, 19 Dec 2013 19:16:44 +0100 | blanchet | don't do 'isar_try0' if preplaying is off | changeset | files |
| Thu, 19 Dec 2013 18:39:54 +0100 | blanchet | more data structure refactoring | changeset | files |
| Thu, 19 Dec 2013 18:22:31 +0100 | blanchet | data structure rationalization | changeset | files |
| Thu, 19 Dec 2013 18:07:21 +0100 | blanchet | tuning | changeset | files |
| Thu, 19 Dec 2013 17:52:58 +0100 | blanchet | refactored preplaying outcome data structure | changeset | files |
| Thu, 19 Dec 2013 17:24:17 +0100 | blanchet | distinguish not preplayed & timed out | changeset | files |
| Thu, 19 Dec 2013 17:11:54 +0100 | blanchet | pick up tfree/tvar type from SPASS-Pirate proof | changeset | files |
| Thu, 19 Dec 2013 16:11:20 +0100 | blanchet | tuning | changeset | files |
| Thu, 19 Dec 2013 15:47:17 +0100 | blanchet | extended ATP types with sorts | changeset | files |
| Thu, 19 Dec 2013 15:04:21 +0100 | blanchet | removed debugging output | changeset | files |