]> matita.cs.unibo.it Git - helm.git/commit
Added Files (these are configuration files for the rendering engine)
authorLuca Padovani <luca.padovani@unito.it>
Tue, 19 Dec 2000 18:01:51 +0000 (18:01 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Tue, 19 Dec 2000 18:01:51 +0000 (18:01 +0000)
commitc1971c343031ce877f4c70d587154f77d7a76b2b
tree300de29c2dbd7adde30230c515c02aebc8bde46d
parentb6e68f7835f9b0fedb5c8b6bdda3f1abfe776428
Added Files (these are configuration files for the rendering engine)
helm-dictionary.xml
helm-font-configuration.xml
helm-math-engine-configuration.xml
helm/configuration/local/etc/helm/helm-dictionary.xml [new file with mode: 0644]
helm/configuration/local/etc/helm/helm-font-configuration.xml [new file with mode: 0644]
helm/configuration/local/etc/helm/helm-math-engine-configuration.xml [new file with mode: 0644]