From 5f689b51392b9b227356cb051d38f902580d615b Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Mon, 28 Nov 2011 10:38:54 +0100 Subject: [PATCH] * NEWS: Mention the Kripke I/O. --- ChangeLog | 4 ++++ NEWS | 1 + 2 files changed, 5 insertions(+) diff --git a/ChangeLog b/ChangeLog index 78e087a9f..949837c70 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2011-11-28 Alexandre Duret-Lutz + + * NEWS: Mention the Kripke I/O. + 2011-11-27 Alexandre Duret-Lutz 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