changeset 29820 | 14841d4c808e |
parent 29798 | 3c348f5873f3 |
child 30154 | 9193a48d3f95 |
1.1 --- a/CONTRIBUTORS Fri Feb 13 07:53:38 2009 +1100 1.2 +++ b/CONTRIBUTORS Fri Feb 13 07:59:30 2009 +1100 1.3 @@ -8,6 +8,9 @@ 1.4 -------------------------------------- 1.5 1.6 * February 2008: Timothy Bourke, NICTA 1.7 + New find_consts command. 1.8 + 1.9 +* February 2008: Timothy Bourke, NICTA 1.10 "solves" criterion for find_theorems and auto_solve option 1.11 1.12 * December 2008: Clemens Ballarin, TUM