]> matita.cs.unibo.it Git - helm.git/commit
Some advancements
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 22 Dec 2000 12:03:38 +0000 (12:03 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 22 Dec 2000 12:03:38 +0000 (12:03 +0000)
commit8cf1d2602b5ed9ef5304e8709cd772e1188690b5
tree6b24529becc46969331d0a6437435b397ce43507
parent7c14cb6badb5c7f4e602f528754b6efdd01d087b
Some advancements
helm/configuration/configure.in
helm/configuration/etc/configuration.xml.in
helm/configuration/etc/helm-math-engine-configuration.xml.in