1.1 --- a/NEWS	Thu Mar 17 14:43:53 2011 +0100
     1.2 +++ b/NEWS	Thu Mar 17 22:07:17 2011 +0100
     1.3 @@ -42,6 +42,7 @@
     1.4  
     1.5  * Nitpick:
     1.6    - Added "need" and "total_consts" options.
     1.7 +  - Reintroduced "show_skolems" option by popular demand.
     1.8    - Renamed attribute: nitpick_def ~> nitpick_unfold.
     1.9      INCOMPATIBILITY.
    1.10