| Sun, 19 Dec 2010 00:13:25 +0100 | blanchet | reduce the minimizer slack and add verbose information | changeset | files |
| Sat, 18 Dec 2010 23:31:22 +0100 | blanchet | two layers of timeouts seem to be less reliable than a single layer | changeset | files |
| Sat, 18 Dec 2010 22:15:39 +0100 | blanchet | move relevance filter into hard timeout | changeset | files |
| Sat, 18 Dec 2010 21:24:34 +0100 | blanchet | handle timeouts in Mirabelle more gracefully | changeset | files |
| Sat, 18 Dec 2010 21:07:34 +0100 | blanchet | made the relevance filter treat unatomizable facts like "atomize_all" properly (these result in problems that get E spinning seemingly forever); | changeset | files |
| Sat, 18 Dec 2010 18:43:16 +0100 | ballarin | Add mixins to locale dependencies. | changeset | files |