Spot 1.1.2 has been released. This maintainance release fixes a couple minor bugs. If you have version 1.1.1 already installed, there is no reason to upgrade unless you are using ltlcross to generate statistics. You can download the new release here: http://spot.lip6.fr/dl/spot-1.1.2.tar.gz New in spot 1.1.2 (2013-06-09) * Bug fixes: - Uninitialized variables in ltlcross (affect the count of terminal weak, and strong SCCs). - Workaround an old GCC bug to allow compilation with g++ <= 4.5 - Fix several Doxygen comments so that they display correctly. -- Alexandre Duret-Lutz