From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Wed, 23 Nov 2005 10:26:57 +0000 (+0000)
Subject: ocaml 3.09 transition
X-Git-Tag: V_0_0_1_2~1
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=4167cea65ca58897d1a3dbb81ff95de5074700cc;p=helm.git

ocaml 3.09 transition
---