]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9df9d23) | patch
* added wrapper element around processed document
authorLuca Padovani <luca.padovani@unito.it>
Sat, 21 Feb 2004 09:52:56 +0000 (09:52 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Sat, 21 Feb 2004 09:52:56 +0000 (09:52 +0000)
commit2a825dc17c13d0e0d10f6affc3039f0be308e0dd
tree0f94db1f288ba28c30cb8582bf230932812b50ectree | snapshot
parent9df9d23fa83cab169e5219aa40e0e50ab1dbb7d3commit | diff
* added wrapper element around processed document
helm/DEVEL/mathml_editor/xsl/tml-mmlp.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.