]> matita.cs.unibo.it Git - helm.git/history - helm/configuration/NEWS
- ported to typed explicit substitutions
[helm.git] / helm / configuration / NEWS
2000-12-28 Claudio Sacerdoti... First changes to make the rpm package
2000-12-21 Claudio Sacerdoti... Using autoconf