We are happy to announce the release of Spot 1.99.9. This release includes contributions from Amaury Fauchille, Étienne Renault, Laurent Xu, and myself. You can find the new release here: http://www.lrde.epita.fr/dload/spot/spot-1.99.9.tar.gz See https://spot.lrde.epita.fr/ for documentation and installation instructions. Please direct any feedback to <spot(a)lrde.epita.fr>fr>. As their names suggest, all the 1.99.x versions are intermediate releases before a Spot 2.0 release. There is only a small list of NEWS-worthy changes since 1.99.8 listed below. Hopefully the next release will be Spot 2.0. New in spot 1.99.9 (2016-03-14) Command-line tools: * autfilt has two new options: --accept-word=WORD and --reject-word=WORD for filtering automata that accept or reject some word. The option may be used multiple times. Library: * The parse_word() function can be used to parse a lasso-shaped word and build a twa_word. The twa_word::as_automaton() method can be used to create an automaton out of that. * twa::ap_var() renamed to twa::ap_vars(). * emptiness_check_instantiator::min_acceptance_conditions() and emptiness_check_instantiator::max_acceptance_conditions() renamed to emptiness_check_instantiator::min_sets() and emptiness_check_instantiator::max_sets(). * tgba_reachable_iterator (and subclasses) was renamed to twa_reachable_iterator for consistency. Documentation: * The page https://spot.lrde.epita.fr/upgrade2.html should help people migrating old C++ code written for Spot 1.2.x, and update it for (the upcoming) Spot 2.0. Bug fixes: * spot/twaalgos/gtec/gtec.hh was incorrectly installed as spot/tgbaalgos/gtec/gtec.hh. * The shared libraries should now compile again on Darwin. -- Alexandre Duret-Lutz