]> matita.cs.unibo.it Git - helm.git/commit
helm-math-engine-configuration.xml autoconfigured
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 21 Dec 2000 15:21:09 +0000 (15:21 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 21 Dec 2000 15:21:09 +0000 (15:21 +0000)
commit5df69bd2f3520608184f1bea394762eb58cf1305
treeea3a84d42b1d9b1628f258d9ac14e61842e83b3d
parentd5dfb19a889c965dd53cf7e718703f3a453d0e9e
helm-math-engine-configuration.xml autoconfigured
helm/configuration/configure.in
helm/configuration/etc/helm-math-engine-configuration.xml.in [new file with mode: 0644]