]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e02ad98) | patch
The stylesheet used to generate an empty (and not even well-formed) XML document
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 28 Apr 2003 17:15:18 +0000 (17:15 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 28 Apr 2003 17:15:18 +0000 (17:15 +0000)
commit88e54ec00a084a465a6a87e9b9d40f38c7e671fd
tree65a62c5507c4f89bdc98f300949a94f4b0d1b44ctree | snapshot
parente02ad98d0f2aa460a049ab102619ea5b8231fcdccommit | diff
The stylesheet used to generate an empty (and not even well-formed) XML document
when given a document whose root element is tml:tex and whose only child
is a non-visible cursor. The problem is fixed generating a <m:math/> document
(ignoring the visibility status of the cursor).
helm/DEVEL/mathml_editor/xsl/tml-mmlp.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.