]> matita.cs.unibo.it Git - helm.git/commit
fixed parse error for ocaml 3.08
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 20 Sep 2004 15:47:00 +0000 (15:47 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 20 Sep 2004 15:47:00 +0000 (15:47 +0000)
commitebc089606ccbb3e9dbde142542a1f98f5020b4dd
tree9357a40ff554cfbe7a79f8903ed6d2eed7d9e13f
parentd6e620f90542cc84eb7a1c8ae0127871fbea93f9
fixed parse error for ocaml 3.08
helm/searchEngine/searchEngine.ml
helm/uwobo/uwobo.ml