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 Mar 2003 13:52:12 +0000 (13:52 +0000)
committer	Luca Padovani <luca.padovani@unito.it>
	Thu, 13 Mar 2003 13:52:12 +0000 (13:52 +0000)
commit	c112706f347e08e7f345131fbc4c3aa0e9ecc7b5
tree	be8367c4b8e01fea104b9bb447603bcfe11ed3bb	tree \| snapshot
parent	d195deff022235dcb39cc4d5865f5bd3c8d3ca07	commit \| diff

* licenses updated

49 files changed:

helm/DEVEL/mathml_editor/configure.ac		diff \| blob \| history
helm/DEVEL/mathml_editor/dictionary-basic.xml		diff \| blob \| history
helm/DEVEL/mathml_editor/dictionary-test.xml		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/ALogger.hh		diff \| blob \| history
helm/DEVEL/mathml_editor/src/AMathMLConsumer.hh		diff \| blob \| history
helm/DEVEL/mathml_editor/src/AMathMLFactory.hh		diff \| blob \| history
helm/DEVEL/mathml_editor/src/APushLexer.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/CLoggerConsole.cc		diff \| blob \| history
helm/DEVEL/mathml_editor/src/CLoggerConsole.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/Diff.cc		diff \| blob \| history
helm/DEVEL/mathml_editor/src/Diff.hh		diff \| blob \| history
helm/DEVEL/mathml_editor/src/LPushLexer.cc		diff \| blob \| history
helm/DEVEL/mathml_editor/src/LPushLexer.hh		diff \| blob \| history
helm/DEVEL/mathml_editor/src/TDictionary.cc		diff \| blob \| history
helm/DEVEL/mathml_editor/src/TDictionary.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/TListener.hh		diff \| blob \| history
helm/DEVEL/mathml_editor/src/TNode.cc		diff \| blob \| history
helm/DEVEL/mathml_editor/src/TNode.hh		diff \| blob \| history
helm/DEVEL/mathml_editor/src/TPushLexer.cc		diff \| blob \| history
helm/DEVEL/mathml_editor/src/TPushLexer.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/TToken.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/src/dom.hh		diff \| blob \| history
helm/DEVEL/mathml_editor/src/globals.hh		diff \| blob \| history
helm/DEVEL/mathml_editor/test/aux.cc		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/test/guiGTK.h		diff \| blob \| history
helm/DEVEL/mathml_editor/textomml/main.cc		diff \| blob \| history
helm/DEVEL/mathml_editor/xsl/d-xsl.xsl		diff \| blob \| history
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