]> matita.cs.unibo.it Git - helm.git/commit
Added some comments to the source code.
authorPaolo Marinelli <paolo.marinelli@unibo.it>
Fri, 14 Mar 2003 16:13:50 +0000 (16:13 +0000)
committerPaolo Marinelli <paolo.marinelli@unibo.it>
Fri, 14 Mar 2003 16:13:50 +0000 (16:13 +0000)
commite4fed32b1519f436de9ca84c3c9c67e1530808b6
tree5017a125514c08b9ce260fa1a30e09dbd1d2afe4
parenta1d5fe0eed54535f23ac4df39a633f714f6085f1
Added some comments to the source code.
helm/DEVEL/mathml_editor/dictionary-test.xml
helm/DEVEL/mathml_editor/src/TPushParser.cc
helm/DEVEL/mathml_editor/test/editor.cc
helm/DEVEL/mathml_editor/xsl/tml-mmlp.xsl