]> git.pld-linux.org Git - packages/NuSMV.git/commit
projects / packages / NuSMV.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 01b925b) | patch
- no parallel make for docs auto/th/NuSMV-2.5.4-5
authorJan Rękorajski <baggins@pld-linux.org>
Sun, 18 Nov 2012 13:13:57 +0000 (14:13 +0100)
committerJan Rękorajski <baggins@pld-linux.org>
Sun, 18 Nov 2012 13:13:57 +0000 (14:13 +0100)
commit34c4f2ed8762043eb04ea73af59186a3213c0453
tree24a65d1294ba4083ab6fb44aae47a7a85745d46etree | snapshot
parent01b925b23d08aa67b3c2fe8dab02776f5a4b1c28commit | diff
- no parallel make for docs
- rel 5
NuSMV.spec diff | blob | blame | history
New Symbolic Model Verifier
This page took 0.047402 seconds and 4 git commands to generate.