]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d411b3b) | patch
Modified Files:
authorIrene Schena <irene.schena@unibo.it>
Wed, 6 Mar 2002 11:27:12 +0000 (11:27 +0000)
committerIrene Schena <irene.schena@unibo.it>
Wed, 6 Mar 2002 11:27:12 +0000 (11:27 +0000)
commit0f057b69d304a8ca6e6d1e4b67f00755d1650636
treea1dfbaf2786d9ab8a938f43817449e066dde7b8btree | snapshot
parentd411b3bb83f2b0a91cf7ad9d2c12fd1b63ec850acommit | diff
Modified Files:
1) link.xsl mmlctop.xsl-0.14 mmlextension.xsl mmlnotation.xsl: removed redundant namespace prefix m: of the MML xref attribute
helm/style/link.xsl diff | blob | history
helm/style/mmlctop.xsl-0.14 diff | blob | history
helm/style/mmlextension.xsl diff | blob | history
helm/style/mmlnotation.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.