# HG changeset patch
# User blanchet
# Date 1299147648 -3600
# Node ID 3f9adc372e0a3e2aac57e6ae0d9c40088f2f8b6a
# Parent  03f6995569558530377cc3690709819a57f8bcb6
mention new Nitpick options

diff -r 03f699556955 -r 3f9adc372e0a NEWS
--- a/NEWS	Thu Mar 03 11:20:48 2011 +0100
+++ b/NEWS	Thu Mar 03 11:20:48 2011 +0100
@@ -20,6 +20,7 @@
 *** HOL ***
 
 * Nitpick:
+  - Added "need" and "total_consts" options.
   - Renamed attribute: nitpick_def ~> nitpick_unfold.
     INCOMPATIBILITY.