• 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.
To find the state of this project's repository at the time of any of these versions, check out the tags.