| changeset 29883 | 14841d4c808e |
| parent 29861 | 3c348f5873f3 |
| child 30154 | 9193a48d3f95 |
--- a/CONTRIBUTORS Fri Feb 13 07:53:38 2009 +1100 +++ b/CONTRIBUTORS Fri Feb 13 07:59:30 2009 +1100 @@ -8,6 +8,9 @@ -------------------------------------- * February 2008: Timothy Bourke, NICTA + New find_consts command. + +* February 2008: Timothy Bourke, NICTA "solves" criterion for find_theorems and auto_solve option * December 2008: Clemens Ballarin, TUM