]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2f94240) | patch
* this is a large commit
authorLuca Padovani <luca.padovani@unito.it>
Sat, 8 Feb 2003 22:13:29 +0000 (22:13 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Sat, 8 Feb 2003 22:13:29 +0000 (22:13 +0000)
commit387aeebf96181c051b7f527a0901b173cfcdf194
tree5f0423fea5be398e067a513e6f672d8e1bd73e04tree | snapshot
parent2f94240bc382ca43017f31b0852f1717fe18090bcommit | diff
* this is a large commit
* added freeze/thaw methods to parser
* added XSLT + Diff class
* added <include> method for including dictionaries
* added preliminary ocaml binding (C+ML)
* code cleanup
47 files changed:
helm/DEVEL/mathml_editor/AUTHORS diff | blob | history
helm/DEVEL/mathml_editor/BUGS-GDOME2 diff | blob | history
helm/DEVEL/mathml_editor/Makefile.am diff | blob | history
helm/DEVEL/mathml_editor/Makefile.in diff | blob | history
helm/DEVEL/mathml_editor/configure.ac diff | blob | history
helm/DEVEL/mathml_editor/dictionary-basic.xml [new file with mode: 0644] blob
helm/DEVEL/mathml_editor/dictionary-test.xml [new file with mode: 0644] blob
helm/DEVEL/mathml_editor/dictionary-tex.xml [new file with mode: 0644] blob
helm/DEVEL/mathml_editor/dictionary.dtd diff | blob | history
helm/DEVEL/mathml_editor/dictionary.xml [deleted file] blob | history
helm/DEVEL/mathml_editor/ocaml/Makefile.am [new file with mode: 0644] blob
helm/DEVEL/mathml_editor/ocaml/c_mathml_editor.cc [new file with mode: 0644] blob
helm/DEVEL/mathml_editor/ocaml/c_mathml_editor.h [new file with mode: 0644] blob
helm/DEVEL/mathml_editor/ocaml/i_mathml_editor.ml [new file with mode: 0644] blob
helm/DEVEL/mathml_editor/ocaml/mathml_editor.ml [new file with mode: 0644] blob
helm/DEVEL/mathml_editor/ocaml/ml_mathml_editor.c [new file with mode: 0644] blob
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 [new file with mode: 0644] blob
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 [new file with mode: 0644] blob
helm/DEVEL/mathml_editor/src/CMathMLFactoryXSLTDiff.hh [new file with mode: 0644] blob
helm/DEVEL/mathml_editor/src/Diff.cc [new file with mode: 0644] blob
helm/DEVEL/mathml_editor/src/Diff.hh [new file with mode: 0644] blob
helm/DEVEL/mathml_editor/src/Makefile.am diff | blob | history
helm/DEVEL/mathml_editor/src/Makefile.in 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/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/Makefile.in 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/xsl/tml-mmlp.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.