Fri, 29 Oct 2010 12:49:05 +0200 | blanchet | make handling of parameters more robust, by querying the goal | changeset | files |
Fri, 29 Oct 2010 11:35:28 +0200 | haftmann | actually pass "verbose" argument | changeset | files |
Fri, 29 Oct 2010 16:16:10 +0200 | wenzelm | eliminated obsolete \_ escape; | changeset | files |