]> matita.cs.unibo.it Git - helm.git/commit
* code cleanup
authorPaolo Marinelli <paolo.marinelli@unibo.it>
Thu, 9 Jan 2003 16:13:59 +0000 (16:13 +0000)
committerPaolo Marinelli <paolo.marinelli@unibo.it>
Thu, 9 Jan 2003 16:13:59 +0000 (16:13 +0000)
commitf761deff2f2f8c0cce674d2885b22a94a972ea85
tree1905e92fe4e3b7c3cec9505a1a23a6919ebbd893
parent841f96d4a534645067f92e9701b55edcc21e9600
* code cleanup
* removed useless source files
15 files changed:
helm/DEVEL/mathml_editor/src/Ptr.hh [deleted file]
helm/DEVEL/mathml_editor/src/TCharStream.hh [deleted file]
helm/DEVEL/mathml_editor/src/TCharStreamString.hh [deleted file]
helm/DEVEL/mathml_editor/src/TLexerPull.cc [deleted file]
helm/DEVEL/mathml_editor/src/TLexerPush.cc [deleted file]
helm/DEVEL/mathml_editor/src/TLexerPush.hh [deleted file]
helm/DEVEL/mathml_editor/src/TObject.hh [deleted file]
helm/DEVEL/mathml_editor/src/TPushParser.cc
helm/DEVEL/mathml_editor/src/TPushParser.hh
helm/DEVEL/mathml_editor/src/domnav.cc [deleted file]
helm/DEVEL/mathml_editor/src/special.cc [deleted file]
helm/DEVEL/mathml_editor/src/texlexer.cc [deleted file]
helm/DEVEL/mathml_editor/src/tokenizer.hh [deleted file]
helm/DEVEL/mathml_editor/test/guiGTK.c
helm/DEVEL/mathml_editor/test/guiGTK.h