diff --git a/NEWS b/NEWS index e4abef788..4a14f83b4 100644 --- a/NEWS +++ b/NEWS @@ -30,7 +30,10 @@ New in spot 1.2.2a (not yet released) - A the SAT-based minimization is asked for a 10-state automaton and return a 6-state automaton, do not ask for a 9-state automaton in the next iteration... - + - Fix some compilation issue with the version of Apple's Clang + that is installed with MacOS X 10.9. + - Fix VPATH builds when building from the git repository. + - Fix UP links in the html documentation for command-line tools. New in spot 1.2.2 (2014-01-24)