]> matita.cs.unibo.it Git - helm.git/commit
* removed debug message
authorLuca Padovani <luca.padovani@unito.it>
Fri, 21 Feb 2003 13:18:10 +0000 (13:18 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Fri, 21 Feb 2003 13:18:10 +0000 (13:18 +0000)
commit1727868b2ca175c69c7d75623a3dd0052591d327
treee1449b36503114c575b2eed4c244cbdc81f68a60
parent1957a1f151c547f04625c4379e51ab66bddb69c7
* removed debug message
helm/DEVEL/mathml_editor/src/TPushParser.cc