]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f9f18c4) | patch
Bug fixed in binary standard MathML Content operators: the href/xref
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 6 Dec 2002 15:00:53 +0000 (15:00 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 6 Dec 2002 15:00:53 +0000 (15:00 +0000)
commit1aa18e93c8ae7659690dfa132e7fc9cdf7a8512a
tree7f3c126056ed79039cecc0ac2a17920cd6eac5e7tree | snapshot
parentf9f18c438f3fdf8b9077a4458d20551f296a37a8commit | diff
Bug fixed in binary standard MathML Content operators: the href/xref
attributes were not generated.
helm/style/mmlnotation.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.