Skip to content
Find file Blame History Permalink
  • Alexandre Duret-Lutz's avatar
    Update some text files for upcoming 0.5. · c00a80a2
    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 find the state of this project's repository at the time of any of these versions, check out the tags.