| 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 |