From 09864a9d3c4780570c9f60bba1a8804712003e04 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Thu, 14 Jun 2012 16:56:29 +0200
Subject: [PATCH] * NEWS: Mention that Safra is faster.

---
 NEWS | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/NEWS b/NEWS
index b017d86f7..f96694d9f 100644
--- a/NEWS
+++ b/NEWS
@@ -7,6 +7,9 @@ New in spot 0.9.1a:
     - A new BDD operation, called bdd_implies() has been added to
       BuDDy to check wether one BDD implies another.  This benefits
       mostly the simulation and degeneralization algorithms of Spot.
+    - A new offline implementation of the degeneralization (which
+      had always been performed on-the-fly so far) available.  This
+      especially helps the Safra complementation.
   * Bug fixes:
     - The CGI script running for ltl2tgba.html will correctly timeout
       after 30s when Spot's translation takes more time.