Alexandre Duret-Lutz e7f5af6c6a org: add example of LTL->BA translation ... This addresses one item in #14. * doc/org/tut10.org: New file. * doc/Makefile.am: Add it. * src/twaalgos/translate.hh: Fix inclusion of types from postprocessor. * wrap/python/spot.py (translate): Fix typo in doc string.		2015-06-07 16:51:33 +02:00
..
python	org: add example of LTL->BA translation	2015-06-07 16:51:33 +02:00
.gitignore	Add .gitignore files	2008-03-14 16:59:32 +01:00
Makefile.am	Upgrade GPL v2+ to GPL v3+.	2012-10-12 22:05:18 +02:00