We are happy to announce the release of Spot 2.0.1. This is a maintenance release fixing minor bugs, typos, and omissions. The most important changes are detailed below. You can find the new release here: http://www.lrde.epita.fr/dload/spot/spot-2.0.1.tar.gz See https://spot.lrde.epita.fr/ for documentation and installation instructions. New in spot 2.0.1 (2016-05-09) Library: * twa::unregister_ap() and twa_graph::remove_unused_ap() are new methods introduced to fix some of the bugs listed below. Documentation: * Add missing documentation for the option string passed to spot::make_emptiness_check_instantiator(). * There is now a spot(7) man page listing all installed command-line tools. Python: * The tgba_determinize() function is now accessible in Python. Bug fixes: * The automaton parser would choke on comments like /******/. * check_strength() should also set negated properties. * Fix autfilt to apply --simplify-exclusive-ap only after the simplifications of (--small/--deterministic) have been performed. * The automaton parser did not fully register atomic propositions for automata read from never claim or as LBTT. * spot::ltsmin::kripke() had the same issue. * The sub_stats_reachable() function used to count the number of transitions based on the number of atomic propositions actually *used* by the automaton instead of using the number of AP declared. * print_hoa() will now output all the atomic propositions that have been registered, not only those that are used in the automaton. (Note that it will also throw an exception if the automaton uses an unregistered AP; this is how some of the above bugs were found.) * For Small or Deterministic preference, the postprocessor will now unregister atomic propositions that are no longer used in labels. Simplification of exclusive properties and remove_ap::strip() will do similarly. * bench/ltl2tgba/ was not working since the source code reorganization of 1.99.7. * Various typos and minor documentation fixes. -- Alexandre Duret-Lutz