| Mon, 02 Jul 2018 16:25:41 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 02 Jul 2018 16:26:58 +0200 | wenzelm | more robust: avoid dire effect of ui.tweakoptions on hg.known_files; | changeset | files |
| Mon, 02 Jul 2018 10:17:23 +0200 | blanchet | update Sledgehammer docs w.r.t. Vampire | changeset | files |
| Mon, 02 Jul 2018 10:03:11 +0200 | blanchet | added Vampire component | changeset | files |