diff --git a/NEWS b/NEWS index 44394b6a7..4a0b72e72 100644 --- a/NEWS +++ b/NEWS @@ -54,18 +54,6 @@ New in spot 2.6.2.dev (not yet released) with arbitrary acceptance condition into a parity automaton, based on a last-appearance record (LAR) construction. - - When states are highlighted with more than 8 colors, print_dot() - will add some extra markers to help distinguishing the colors. - This helps with the fact that colors 8-15 are lighter versions of - colors 0-7, and that higher color numbers cycle into this 16-color - palette. - - Bugs fixed: - - - exclusive_ap::constrain() (called by autfilt --exclusive-ap=...) - would incorrectly copy the "universal" property of the input - automaton, causing print_hoa() to fail. - New in spot 2.6.2 (2018-09-28) Build: