]>
2015-12-12 | Arkadiusz Miśkiewicz | - rel 8; build fixed auto/th/NuSMV-2.5.4-8 | blob | commitdiff | raw |
2012-06-24 | Jan Rękorajski | - up to 2.5.4 | blob | commitdiff | raw | diff to current |
2012-06-24 | Jan Rękorajski | - updated to 2.5.2 | blob | commitdiff | raw | diff to current |
2012-06-24 | Jan Rękorajski | - updated to 2.5.0 | blob | commitdiff | raw | diff to current |
2012-06-24 | Jan Rękorajski | - as-needed fixes | blob | commitdiff | raw | diff to current |
2012-06-24 | Jan Rękorajski | - added cleanups for 2.4.3 | blob | commitdiff | raw | diff to current |
2012-06-24 | Jan Rękorajski | - fix build/install problems | blob | commitdiff | raw | diff to current |