projects / packages / NuSMV.git / shortlog
| 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 |