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