diff -r 59949cf040cb -r 53df0095b5e4 NEWS --- a/NEWS Sun Dec 19 17:39:20 2010 -0800 +++ b/NEWS Sun Dec 19 18:10:54 2010 -0800 @@ -71,7 +71,7 @@ "no_abbrevs" with inverted meaning. * More systematic naming of some configuration options. -INCOMPATIBILTY. +INCOMPATIBILITY. trace_simp ~> simp_trace debug_simp ~> simp_debug