From d244ff543241f9ddb3f99db5b5db764a483b2c3e Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Fri, 5 Jul 2019 22:43:04 +0200 Subject: [PATCH] * NEWS: Fix some typos. --- NEWS | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/NEWS b/NEWS index 0f5da75fa..f61998efc 100644 --- a/NEWS +++ b/NEWS @@ -27,7 +27,7 @@ New in spot 2.7.5.dev (not yet released) - Due to some new simplification of parity acceptance, the output of "ltl2tgba -P -D" is now using a minimal number of colors. This means that recurrence properties have an acceptance condition - amongst "Inf(0)", "t", or "f", and persistance properties have an + among "Inf(0)", "t", or "f", and persistance properties have an acceptance condition among "Fin(0)", "t", or "f". Documentation: @@ -72,9 +72,10 @@ New in spot 2.7.5.dev (not yet released) helpful to display automata as "graphs", e.g., when illustrating algorithms that do not care about labels. - - A new complement() function returns complementd automata with - unspecified acceptance condition. The output can be alternating - only if the input was alternating. + - A new complement() function returns complemented automata with + unspecified acceptance condition, allowing different algorithms to + be used. The output can be alternating only if the input was + alternating. - There is a new class output_aborter that is used to specify upper bounds on the size of automata produced by some algorithms.