]> matita.cs.unibo.it Git - helm.git/commit
configure.in : new version
authorLuca Padovani <luca.padovani@unito.it>
Wed, 22 Aug 2001 12:19:22 +0000 (12:19 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Wed, 22 Aug 2001 12:19:22 +0000 (12:19 +0000)
commit494bbe8d804c587488349dc1e1fa976e6f892ec0
tree863fd57592a9f34b4a2e61db684a23605d7115ad
parent06699deb3cda1102045062c5e54ac3de11e0c565
configure.in : new version
helm/helmpot/configure.in