CONTRIBUTORS
changeset 29883 14841d4c808e
parent 29861 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