| Mon, 03 Feb 2014 15:33:18 +0100 | blanchet | tuning | file | diff | annotate |
| Mon, 03 Feb 2014 15:19:07 +0100 | blanchet | merged 'reconstructors' and 'proof methods' | file | diff | annotate |
| Mon, 03 Feb 2014 10:14:18 +0100 | blanchet | more thorough, hybrid compression | file | diff | annotate |
| Fri, 31 Jan 2014 16:10:39 +0100 | blanchet | tuning | file | diff | annotate |
| Fri, 31 Jan 2014 16:07:20 +0100 | blanchet | moved ML code around | file | diff | annotate |
| Thu, 30 Jan 2014 13:54:12 +0100 | blanchet | compile | file | diff | annotate |
| Thu, 30 Jan 2014 13:38:28 +0100 | blanchet | made 'try0' (more) silent | file | diff | annotate |
| Thu, 30 Jan 2014 00:59:12 +0100 | blanchet | silenced reconstructors in Sledgehammer | file | diff | annotate |
| Thu, 19 Dec 2013 19:16:44 +0100 | blanchet | don't do 'isar_try0' if preplaying is off | file | diff | annotate |
| Thu, 19 Dec 2013 17:52:58 +0100 | blanchet | refactored preplaying outcome data structure | file | diff | annotate |
| Thu, 19 Dec 2013 17:24:17 +0100 | blanchet | distinguish not preplayed & timed out | file | diff | annotate |
| Thu, 19 Dec 2013 10:15:12 +0100 | blanchet | simplified data structure | file | diff | annotate |
| Thu, 19 Dec 2013 09:28:20 +0100 | blanchet | tuning | file | diff | annotate |
| Mon, 16 Dec 2013 23:05:16 +0100 | blanchet | handle Skolems gracefully for SPASS as well | file | diff | annotate |
| Tue, 19 Nov 2013 16:48:50 +0100 | blanchet | refactored | file | diff | annotate |
| Thu, 11 Jul 2013 13:33:19 +0200 | smolkas | tuned | file | diff | annotate |
| Tue, 09 Jul 2013 18:44:59 +0200 | smolkas | moved code -> easier debugging | file | diff | annotate |