-
Alexandre Duret-Lutz authored
* NEWS: Update for upcoming 0.5. * HACKING: Update Automake requirement. * README: Mention the mailing list. * bench/ltlcounter/README: More text. * configure.ac: Report bugs to spot@lrde.epita.fr.
c00a80a2
To learn more about this project, read the wiki.