diff --git a/ChangeLog b/ChangeLog
index 78e087a9f..949837c70 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2011-11-28  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
+
+	* NEWS: Mention the Kripke I/O.
+
 2011-11-27  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
 
 	Don't flush the stream on each new line, when writing automata.
diff --git a/NEWS b/NEWS
index c9875ba4a..dc66b0e9b 100644
--- a/NEWS
+++ b/NEWS
@@ -4,6 +4,7 @@ New in spot 0.7.1a:
     - Spot can read DiVinE models.  See iface/dve2/README for details.
     - The genltl tool can now output 20 differents LTL formula families.
       It also replaces the LTLcounter Perl scripts.
+    - There is a printer and parser for Kripke structures in text format.
   * Major interface changes:
     - The destructor of all states is now private.  Any code that looks like
       "delete some_state;" will cause an compile error and should be