We are happy to announce the release of Spot 2.6.2 This is a maintenance release containing minor bug fixes. This also removes the source code for the online translator, that has been replaced by a separate (and rewritten) web application. You can find the new release here: http://www.lrde.epita.fr/dload/spot/spot-2.6.2.tar.gz See https://spot.lrde.epita.fr/ for documentation and installation instructions. As always, please direct any feedback to <spot@lrde.epita.fr>. New in spot 2.6.2 (2018-09-28) Build: - We no longer distribute the Python-based CGI script + javascript code for the online translator. Its replacement has its own repository: https://gitlab.lrde.epita.fr/spot/spot-web-app/ Library: - 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. - configure --disable-doxygen would actually enable it. - Fix several warnings emited by the development version of GCC. -- Alexandre Duret-Lutz