NEWS

--- a/NEWS	Tue Jun 01 11:58:50 2010 +0200
+++ b/NEWS	Tue Jun 01 12:20:08 2010 +0200
@@ -427,6 +427,7 @@
     record getters.
   - Fixed soundness bug related to higher-order constructors
   - Improved precision of set constructs.
+  - Added "atoms" option.
   - Added cache to speed up repeated Kodkod invocations on the same
     problems.
   - Renamed "MiniSatJNI", "zChaffJNI", "BerkMinAlloy", and