Alexandre Duret-Lutz 1ac0b08695 * wrap/python/cgi/ltl2tgba.in: Fix display of relations for ... tgba_bdd_concrete automata.		2003-08-22 12:41:36 +00:00
..
cgi	* wrap/python/cgi/ltl2tgba.in: Fix display of relations for	2003-08-22 12:41:36 +00:00
tests	* wrap/python/tests/ltl2tgba.test: Run $srcdir/ltl2tgba.py, not	2003-08-18 13:55:55 +00:00
.cvsignore	* wrap/python/buddy.i: New file.	2003-08-01 16:17:35 +00:00
buddy.i	* wrap/python/buddy.i: New file.	2003-08-01 16:17:35 +00:00
libpy.c	* wrap/python/Makefile.am (lib_LTLIBRARIES)	2003-08-04 15:35:55 +00:00
ltihooks.py	* wrap/python/ltihooks.py: New file.	2003-07-31 16:54:37 +00:00
Makefile.am	* wrap/python/Makefile.am (SUBDIRS): Build `.' first.	2003-08-11 11:12:53 +00:00
spot.i	This implements Couvreur's FM'99 ltl2tgba translation.	2003-08-15 01:33:09 +00:00