matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

author	Luca Padovani <luca.padovani@unito.it>
	Thu, 13 Feb 2003 12:40:34 +0000 (12:40 +0000)
committer	Luca Padovani <luca.padovani@unito.it>
	Thu, 13 Feb 2003 12:40:34 +0000 (12:40 +0000)
commit	8d15b9f68470945a45ce96dbc1c892742c85cb9c
tree	90f313f875e54fd39f435479613b0d311eeb7145	tree \| snapshot
parent	6661b044574d16144dfa0db68708f64ee286fb00	commit \| diff

* added show/hide cursro methods
* some code cleanup
* fix in reset
* fix in get_tex (binding ocaml)
* added tex to mml translator

33 files changed:

helm/DEVEL/mathml_editor/Makefile.am		diff \| blob \| history
helm/DEVEL/mathml_editor/Makefile.in		diff \| blob \| history
helm/DEVEL/mathml_editor/TML.dtd		diff \| blob \| history
helm/DEVEL/mathml_editor/configure.ac		diff \| blob \| history
helm/DEVEL/mathml_editor/dictionary-tex.xml		diff \| blob \| history
helm/DEVEL/mathml_editor/ocaml/c_mathml_editor.cc		diff \| blob \| history
helm/DEVEL/mathml_editor/ocaml/c_mathml_editor.h		diff \| blob \| history
helm/DEVEL/mathml_editor/ocaml/i_mathml_editor.ml		diff \| blob \| history
helm/DEVEL/mathml_editor/ocaml/mathml_editor.ml		diff \| blob \| history
helm/DEVEL/mathml_editor/ocaml/ml_mathml_editor.c		diff \| blob \| history
helm/DEVEL/mathml_editor/src/AMathMLFactory.hh		diff \| blob \| history
helm/DEVEL/mathml_editor/src/APushParser.cc		diff \| blob \| history
helm/DEVEL/mathml_editor/src/APushParser.hh		diff \| blob \| history
helm/DEVEL/mathml_editor/src/CMathMLFactoryXSLT.cc		diff \| blob \| history
helm/DEVEL/mathml_editor/src/CMathMLFactoryXSLT.hh		diff \| blob \| history
helm/DEVEL/mathml_editor/src/CMathMLFactoryXSLTDiff.cc		diff \| blob \| history
helm/DEVEL/mathml_editor/src/CMathMLFactoryXSLTDiff.hh		diff \| blob \| history
helm/DEVEL/mathml_editor/src/LPushLexer.hh		diff \| blob \| history
helm/DEVEL/mathml_editor/src/TDocument.cc		diff \| blob \| history
helm/DEVEL/mathml_editor/src/TDocument.hh		diff \| blob \| history
helm/DEVEL/mathml_editor/src/TPushParser.cc		diff \| blob \| history
helm/DEVEL/mathml_editor/src/TPushParser.hh		diff \| blob \| history
helm/DEVEL/mathml_editor/src/TTokenizer.cc		diff \| blob \| history
helm/DEVEL/mathml_editor/src/TTokenizer.hh		diff \| blob \| history
helm/DEVEL/mathml_editor/test/.cvsignore		diff \| blob \| history
helm/DEVEL/mathml_editor/test/editor.cc		diff \| blob \| history
helm/DEVEL/mathml_editor/test/guiGTK.c		diff \| blob \| history
helm/DEVEL/mathml_editor/textomml/.cvsignore	[new file with mode: 0644]	blob
helm/DEVEL/mathml_editor/textomml/Makefile.am	[new file with mode: 0644]	blob
helm/DEVEL/mathml_editor/textomml/config.dirs.in	[new file with mode: 0644]	blob
helm/DEVEL/mathml_editor/textomml/main.cc	[new file with mode: 0644]	blob
helm/DEVEL/mathml_editor/xsl/tml-mmlp.xsl		diff \| blob \| history
helm/DEVEL/mathml_editor/xsl/tml-tex.xsl		diff \| blob \| history

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom