projects / packages / NuSMV.git / shortlog
| 2012-06-24 | Jan Rękorajski | - rel 1 auto/th/NuSMV-2_4_3-1 | commit | commitdiff | tree | snapshot |
| 2012-06-24 | Jan Rękorajski | - fixed hack | commit | commitdiff | tree | snapshot |
| 2012-06-24 | Jan Rękorajski | - 64bit hack | commit | commitdiff | tree | snapshot |
| 2012-06-24 | Jan Rękorajski | - removed no longer needed hacks | commit | commitdiff | tree | snapshot |
| 2012-06-24 | Jan Rękorajski | - up to 2.4.3 | commit | commitdiff | tree | snapshot |
| 2012-06-24 | Jan Rękorajski | - as-needed fixes | commit | commitdiff | tree | snapshot |
| 2012-06-24 | Jan Rękorajski | - added cleanups for 2.4.3 | commit | commitdiff | tree | snapshot |
| 2012-06-24 | Elan Ruusamäe | - tabs in preamble | commit | commitdiff | tree | snapshot |
| 2012-06-24 | Jan Rękorajski | - converted to UTF-8 | commit | commitdiff | tree | snapshot |
| 2012-06-24 | Jakub Bogusz | - pl | commit | commitdiff | tree | snapshot |
| 2012-06-24 | Jan Rękorajski | - fix build/install problems | commit | commitdiff | tree | snapshot |
| 2012-06-24 | Jan Rękorajski | - initial revision | commit | commitdiff | tree | snapshot |