]> matita.cs.unibo.it Git - helm.git/commit
Using autoconf
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 21 Dec 2000 14:11:27 +0000 (14:11 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 21 Dec 2000 14:11:27 +0000 (14:11 +0000)
commitf0ed73efe485ebb580e05b7c10fde904da34e052
tree086b2a501a9e2573d1f2f4258573335ffe449faa
parent4e1bc40b1d12427dbd8e3c749fba7aa9ab1797b9
Using autoconf
12 files changed:
helm/configuration/AUTHORS [new file with mode: 0644]
helm/configuration/ChangeLog [new file with mode: 0644]
helm/configuration/Makefile.in [new file with mode: 0644]
helm/configuration/NEWS [new file with mode: 0644]
helm/configuration/README [new file with mode: 0644]
helm/configuration/configure.in [new file with mode: 0644]
helm/configuration/etc/configuration.dtd [new file with mode: 0644]
helm/configuration/etc/configuration.xml [new file with mode: 0644]
helm/configuration/etc/helm-dictionary.xml [new file with mode: 0644]
helm/configuration/etc/helm-font-configuration.xml [new file with mode: 0644]
helm/configuration/etc/helm-math-engine-configuration.xml [new file with mode: 0644]
helm/configuration/lib/configuration.pl [new file with mode: 0644]