-
Jean-Christophe Filliâtre authored
- fixed "make distrib" - updated CHANGES - changed version number to 0.72
b0ea528a
To find the state of this project's repository at the time of any of these versions, check out the tags.
- fixed "make distrib" - updated CHANGES - changed version number to 0.72