From 0de334d78375ba392579c22a5f2786ee36193c76 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Mon, 1 Oct 2018 16:40:03 +0200 Subject: [PATCH] * NEWS: Remove some items from 2.6.2. --- NEWS | 12 ------------ 1 file changed, 12 deletions(-) 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: