Adds a NuSMV (2.6) lexer and example file.2016-03-02T13:43:51+00:00Camil Stapsinfo@camilstaps.nl2016-03-02T13:43:51+00:009b82d769b178c4ed3f7b8351799e1e725f1e35b5
See http://nusmv.fbk.eu/NuSMV/ and in particular the documentation at http://nusmv.fbk.eu/NuSMV/userman/v26/nusmv.pdf.
See http://nusmv.fbk.eu/NuSMV/ and in particular the documentation at http://nusmv.fbk.eu/NuSMV/userman/v26/nusmv.pdf.
Copyright year update.2015-01-21T07:33:25+00:00Georg Brandlgeorg@python.org2015-01-21T07:33:25+00:0013705acbd57b936990c63a12de05ce29834b6afb
Remove the misc subpackage.2014-09-20T07:40:55+00:00Georg Brandlgeorg@python.org2014-09-20T07:40:55+00:00df9d1b0a4192a7d401e4aa05d310b7f4da0c84e2
reorganization of other.py, part 3/32014-09-19T19:26:56+00:00Georg Brandlgeorg@python.org2014-09-19T19:26:56+00:00d2d62586a9f4abd910675ff6e16686b6a722528c
reorganization of other.py, part 22014-09-19T19:14:43+00:00Georg Brandlgeorg@python.org2014-09-19T19:14:43+00:0078a45160ef63837dbaa18f5a49e1bd342354705a
reorganization of other.py, part 12014-09-19T16:48:02+00:00Georg Brandlgeorg@python.org2014-09-19T16:48:02+00:00d1a7453489a4c29d3613e738ecec83bee816d3f2
Style change: use `1.0`and `0.0` instead of, respectively, `True` and `False` in the analyse_text() function.2014-09-16T10:06:49+00:00Paulo Mourapmoura@logtalk.org2014-09-16T10:06:49+00:00d59a849ebf7430f7ec8e3895933e32fa63ce79bd
When analyzing, replace the too broad `:-` sequence by a regular expression matching directives.2014-09-16T09:45:35+00:00Paulo Mourapmoura@logtalk.org2014-09-16T09:45:35+00:00ee3d33a5fee236ccff80b6e0571b56e073883dce
Added missing specific number tokens to the entity relation regular expressions.2014-09-12T18:31:09+00:00Paulo Mourapmoura@logtalk.org2014-09-12T18:31:09+00:00b0704914d698b7b7f801b9435250061694676b35