alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity
spot/wrap/python
History
Alexandre Duret-Lutz c5461335c9 ltl2tgba on-line: display edge and transition count 
* wrap/python/ajax/spot.in: Adjust display.
* NEWS: Mention it.
2013-01-18 09:20:14 +01:00
..
ajax ltl2tgba on-line: display edge and transition count 2013-01-18 09:20:14 +01:00
tests Upgrade GPL v2+ to GPL v3+. 2012-10-12 22:05:18 +02:00
.cvsignore Update to SWIG 1.3.22. 2004-09-20 16:35:46 +00:00
.gitignore more files to ignore 2011-01-27 21:47:47 +01:00
buddy.i Upgrade GPL v2+ to GPL v3+. 2012-10-12 22:05:18 +02:00
Makefile.am Upgrade GPL v2+ to GPL v3+. 2012-10-12 22:05:18 +02:00
spot.i Upgrade GPL v2+ to GPL v3+. 2012-10-12 22:05:18 +02:00