]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: afd4682) | patch
* the documents passed to the ocaml binding have been turned into strings
authorLuca Padovani <luca.padovani@unito.it>
Fri, 4 Apr 2003 13:41:22 +0000 (13:41 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Fri, 4 Apr 2003 13:41:22 +0000 (13:41 +0000)
commitdbc6a4fb0236cfc7752c70e2e16f511b9e51b29c
treec9b2678354d7ba13dcc0a1c8321e4945296ac10atree | snapshot
parentafd46825cc4b77b54cea1c4e93e842fdea8cbc80commit | diff
* the documents passed to the ocaml binding have been turned into strings
  so that the relative uri resolution mechanism implemented in the
  TDictionary class can be effectively used
helm/DEVEL/mathml_editor/doc/spec.tex 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/mathml_editor.mli diff | blob | history
helm/DEVEL/mathml_editor/ocaml/ml_mathml_editor.c diff | blob | history
helm/DEVEL/mathml_editor/test/editor.cc diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.