philipp 08113e0e04 Adding bdd_has_common_assignement ... * python/buddy.i: Here		2021-07-27 16:45:44 +02:00
..
spot	python: make sere twa::acc() survives its automaton	2021-07-12 15:27:07 +02:00
.gitignore	remove more references to the old cgi-based translator	2018-08-28 20:48:44 +02:00
buddy.i	Adding bdd_has_common_assignement	2021-07-27 16:45:44 +02:00
Makefile.am	improve PyPy support by following PEP 3149	2021-06-29 21:15:04 +02:00