MANIFEST 2.03 KB
# file GENERATED by distutils, do NOT edit
,let.png
,let.py
,net-with-colors.png
,railroad.png
,railroad.pnml
,test-gv-circo.png
,test-gv-dot.png
,test-gv-fdp.png
,test-gv-graph.png
,test-gv-neato.png
,test-gv-twopi.png
.hgignore
.hgtags
BUGS
MANIFEST.in
Makefile
NEWS
README
TODO
VERSION
dput.sh
mkdeb.py
mklang.py
setup.py
test.py
bin/abcd
bin/snkc
bin/snkd
doc/COPYING
doc/abcd.txt
doc/queries.txt
doc/simple-coloured.pnml
doc/simple-pt.pnml
doc/snakes-pnml.txt
doc/tutorial.png
doc/tutorial.txt
doc/examples/abcd/README
doc/examples/abcd/philo.abcd
doc/examples/abcd/prod-cons.abcd
doc/examples/abcd/railroad.abcd
doc/examples/abcd/railroad.py
doc/examples/abcd/ns/dolev_yao.py
doc/examples/abcd/ns/ns.abcd
doc/examples/abcd/ns/ns.py
snakes/__init__.py
snakes/compat.py
snakes/data.py
snakes/hashables.py
snakes/nets.py
snakes/pnml.py
snakes/typing.py
snakes/lang/__init__.py
snakes/lang/asdl.py
snakes/lang/astjy25.py
snakes/lang/astpy25.py
snakes/lang/astpypy.py
snakes/lang/pgen.py
snakes/lang/unparse.py
snakes/lang/abcd/__init__.py
snakes/lang/abcd/asdl.py
snakes/lang/abcd/parser.py
snakes/lang/abcd/pgen.py
snakes/lang/ctlstar/__init__.py
snakes/lang/ctlstar/asdl.py
snakes/lang/ctlstar/parser.py
snakes/lang/ctlstar/pgen.py
snakes/lang/pylib/__init__.py
snakes/lang/pylib/asdl.py
snakes/lang/pylib/spark.py
snakes/lang/pylib/unparse.py
snakes/lang/python/__init__.py
snakes/lang/python/asdl.py
snakes/lang/python/parser.py
snakes/lang/python/pgen.py
snakes/plugins/__init__.py
snakes/plugins/clusters.py
snakes/plugins/gv.py
snakes/plugins/hello.py
snakes/plugins/labels.py
snakes/plugins/let.py
snakes/plugins/modules.py
snakes/plugins/ops.py
snakes/plugins/pids.py
snakes/plugins/pos.py
snakes/plugins/query.py
snakes/plugins/status.py
snakes/plugins/synchro.py
snakes/utils/__init__.py
snakes/utils/apidoc.py
snakes/utils/abcd/__init__.py
snakes/utils/abcd/build.py
snakes/utils/abcd/checker.py
snakes/utils/abcd/main.py
snakes/utils/abcd/simul.py
snakes/utils/abcd/transform.py
snakes/utils/ctlstar/__init__.py
snakes/utils/ctlstar/build.py
utils/abcd-mode.el