<feed xmlns='http://www.w3.org/2005/Atom'>
<title>delta/python-packages/pygments.git/tests/examplefiles/guidance.smv, branch pytest</title>
<subtitle>bitbucket.org: Obsolete (use python-packages/pygments-git)
</subtitle>
<link rel='alternate' type='text/html' href='http://91.123.203.49/cgit/delta/python-packages/pygments.git/'/>
<entry>
<title>Adds a NuSMV (2.6) lexer and example file.</title>
<updated>2016-03-02T13:43:51+00:00</updated>
<author>
<name>Camil Staps</name>
<email>info@camilstaps.nl</email>
</author>
<published>2016-03-02T13:43:51+00:00</published>
<link rel='alternate' type='text/html' href='http://91.123.203.49/cgit/delta/python-packages/pygments.git/commit/?id=9b82d769b178c4ed3f7b8351799e1e725f1e35b5'/>
<id>9b82d769b178c4ed3f7b8351799e1e725f1e35b5</id>
<content type='text'>
See http://nusmv.fbk.eu/NuSMV/ and in particular the documentation at http://nusmv.fbk.eu/NuSMV/userman/v26/nusmv.pdf.
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
See http://nusmv.fbk.eu/NuSMV/ and in particular the documentation at http://nusmv.fbk.eu/NuSMV/userman/v26/nusmv.pdf.
</pre>
</div>
</content>
</entry>
</feed>
