]>
2012-06-24 | Jan Rękorajski | - rel 3 | blob | commitdiff | raw |
2012-06-24 | Jan Rękorajski | - rel 2 auto/th/NuSMV-2_4_3-2 | blob | commitdiff | raw | diff to current |
2012-06-24 | Jan Rękorajski | - rel 1 auto/th/NuSMV-2_4_3-1 | blob | commitdiff | raw | diff to current |
2012-06-24 | Jan Rękorajski | - fixed hack | blob | commitdiff | raw | diff to current |
2012-06-24 | Jan Rękorajski | - 64bit hack | blob | commitdiff | raw | diff to current |
2012-06-24 | Jan Rękorajski | - removed no longer needed hacks | blob | commitdiff | raw | diff to current |
2012-06-24 | Jan Rękorajski | - up to 2.4.3 | blob | commitdiff | raw | diff to current |
2012-06-24 | Elan Ruusamäe | - tabs in preamble | blob | commitdiff | raw | diff to current |
2012-06-24 | Jan Rękorajski | - converted to UTF-8 | blob | commitdiff | raw | diff to current |
2012-06-24 | Jakub Bogusz | - pl | blob | commitdiff | raw | diff to current |
2012-06-24 | Jan Rękorajski | - initial revision | blob | commitdiff | raw | diff to current |