| Mon, 05 Sep 2011 23:26:41 +0200 | wenzelm | commands_change_delay within main actor -- prevents overloading of commands_change_buffer input channel; | changeset | files |
| Mon, 05 Sep 2011 20:30:37 +0200 | wenzelm | tuned imports; | changeset | files |
| Mon, 05 Sep 2011 14:42:31 +0200 | blanchet | fixed handling of "sledgehammer_params", so that "sledgehammer_params [e]" is really the same as "sledgehammer_params [provers = e]" | changeset | files |
| Mon, 05 Sep 2011 14:17:44 +0200 | boehmes | tuned | changeset | files |