]> matita.cs.unibo.it Git - helm.git/commit
ported to ocaml 3.08
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 27 Jul 2004 11:51:25 +0000 (11:51 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 27 Jul 2004 11:51:25 +0000 (11:51 +0000)
commitfd648e40eb2c9c5b29cfa4408459511a74898d1d
tree8728227e2bd19ef737e3b926b0d37b718de8d488
parent3bb4ce11fb9d4c6375483a80344beb94c4517dd7
ported to ocaml 3.08
helm/DEVEL/mathml_editor/Makefile.am
helm/DEVEL/mathml_editor/debian/changelog
helm/DEVEL/mathml_editor/debian/control
helm/DEVEL/mathml_editor/debian/libeditex-ocaml-dev.files
helm/DEVEL/mathml_editor/debian/libeditex-ocaml.files