]> matita.cs.unibo.it Git - helm.git/commit
* fix in optional argument for ocaml binding
authorLuca Padovani <luca.padovani@unito.it>
Fri, 23 May 2003 09:24:55 +0000 (09:24 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Fri, 23 May 2003 09:24:55 +0000 (09:24 +0000)
commit4b7e162d67a8d748f95c557e2a76ee9625a06291
treea0af40679b56d4a78893fbaac31b231da7363d46
parentae138b9558f6d0f2904b906aa08e633f56114fa7
* fix in optional argument for ocaml binding
* fix in tml->mmlp stylehseet
helm/DEVEL/mathml_editor/doc/spec.tex
helm/DEVEL/mathml_editor/ocaml/c_mathml_editor.cc
helm/DEVEL/mathml_editor/ocaml/c_mathml_editor.h
helm/DEVEL/mathml_editor/ocaml/i_mathml_editor.ml
helm/DEVEL/mathml_editor/ocaml/mathml_editor.ml
helm/DEVEL/mathml_editor/ocaml/mathml_editor.mli
helm/DEVEL/mathml_editor/ocaml/ml_mathml_editor.c
helm/DEVEL/mathml_editor/xsl/tml-mmlp.xsl