]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5216557) | patch
First version of Di Lena's stylesheet generator (for the HELM DTD).
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 21 Nov 2002 16:58:01 +0000 (16:58 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 21 Nov 2002 16:58:01 +0000 (16:58 +0000)
commita2dcdb25b6efbd2623913ecf8f0f7ad3fb60bc75
tree2853e3c90d6b38b9eb5cd5d3b6ddc466bcc13d6btree | snapshot
parent5216557e4adc44b1f53eac3377d9c63b0ecad478commit | diff
First version of Di Lena's stylesheet generator (for the HELM DTD).
13 files changed:
helm/meta_style/.cvsignore [new file with mode: 0644] blob
helm/meta_style/Makefile [new file with mode: 0644] blob
helm/meta_style/algebra.xml [new file with mode: 0644] blob
helm/meta_style/arith.xml [new file with mode: 0644] blob
helm/meta_style/basic.xml [new file with mode: 0644] blob
helm/meta_style/meta_cic2mathml.xsl [new file with mode: 0644] blob
helm/meta_style/modeset.xsl [new file with mode: 0644] blob
helm/meta_style/operator.dtd [new file with mode: 0644] blob
helm/meta_style/positive.xsl [new file with mode: 0644] blob
helm/meta_style/reals.xml [new file with mode: 0644] blob
helm/meta_style/set.xml [new file with mode: 0644] blob
helm/meta_style/subst.pl [new file with mode: 0755] blob
helm/meta_style/xslt_index.txt [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.