--- 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.