]> git.pld-linux.org Git - packages/NuSMV.git/commit
projects / packages / NuSMV.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 20305e4) | patch
- tabs in preamble
authorElan Ruusamäe <glen@pld-linux.org>
Mon, 12 Feb 2007 22:09:09 +0000 (22:09 +0000)
committercvs2git <feedback@pld-linux.org>
Sun, 24 Jun 2012 12:13:13 +0000 (12:13 +0000)
commitd6427d0890fc968f788f193998b10a158b817776
treef61856f834d3ff11cd6f71bf49d76fbafaa431a1tree | snapshot
parent20305e491e1f41f42d977edfce08d0175a31b6d7commit | diff
- tabs in preamble

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