diff -r 29154e67731d -r 14841d4c808e CONTRIBUTORS
--- 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