]> git.pld-linux.org Git - packages/NuSMV.git/commit - NuSMV.spec
projects / packages / NuSMV.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6206e48) | patch
- converted to UTF-8
authorJan Rękorajski <baggins@pld-linux.org>
Mon, 12 Feb 2007 01:06:42 +0000 (01:06 +0000)
committercvs2git <feedback@pld-linux.org>
Sun, 24 Jun 2012 12:13:13 +0000 (12:13 +0000)
commit20305e491e1f41f42d977edfce08d0175a31b6d7
tree9d3cb596c7666d1694af67a08c3e11f42bb53359tree | snapshot
parent6206e4846fb44d800709d283bebaaa09398ed166commit | diff
- converted to UTF-8

Changed files:
    NuSMV.spec -> 1.3
NuSMV.spec diff | blob | blame | history
New Symbolic Model Verifier
This page took 0.98417 seconds and 4 git commands to generate.