]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b2765bc) | patch
Modified Files:
authorIrene Schena <irene.schena@unibo.it>
Fri, 4 May 2001 14:14:05 +0000 (14:14 +0000)
committerIrene Schena <irene.schena@unibo.it>
Fri, 4 May 2001 14:14:05 +0000 (14:14 +0000)
commitb205c1fb5ec671d31e051a9a2f0e534b4e393452
treed0361c03607c37fef6dedda7325c37e40e672aebtree | snapshot
parentb2765bc30d2a4662f8bde38650df6f77e3fe4d61commit | diff
Modified Files:
1) link.xsl: recover linking info and remove mml content
2) mmlextension.xsl: added mrows and import of mmlctop.xsl-0.14
Added Files:
1) genmmlid.xsl: generate ids for mml elements
2) mmlctop.xsl-0.14: new stylesheet of Rodionov
Removed Files:
1) mml2mmlv1_0.xsl: old stylesheet of Rodionov
helm/style/genmmlid.xsl [new file with mode: 0644] blob
helm/style/link.xsl diff | blob | history
helm/style/mml2mmlv1_0.xsl [deleted file] blob | history
helm/style/mmlctop.xsl-0.14 [new file with mode: 0755] blob
helm/style/mmlextension.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.