]> matita.cs.unibo.it Git - helm.git/commit
forward compatibility changes for ocaml 3.06
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 28 Aug 2002 13:37:38 +0000 (13:37 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 28 Aug 2002 13:37:38 +0000 (13:37 +0000)
commit91da8438a05450c656ae949e6a3ae8e4bbc3d161
tree862ba55709e816bda75fe59236827f7c277e17ac
parent51d3266e2e5b7da235ac10dd683e00f4874ea4df
forward compatibility changes for ocaml 3.06
helm/DEVEL/lablgtkmathview/gMathView.ml
helm/DEVEL/lablgtkmathview/gMathView.mli
helm/DEVEL/lablgtkmathview/gtkMathView.ml
helm/DEVEL/lablgtkmathview/gtk_mathview.ml