-
Alexandre Duret-Lutz authored
* README: Introduce Spot, and point to the documentation. * wrap/python/ajax/README: Mention ltl3ba 1.0.2.
2776de87
To learn more about this project, read the wiki.
* README: Introduce Spot, and point to the documentation. * wrap/python/ajax/README: Mention ltl3ba 1.0.2.