]> matita.cs.unibo.it Git - helm.git/commit
Patch to make it compile with recent OCaml
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 28 Dec 2017 18:13:02 +0000 (19:13 +0100)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 28 Dec 2017 18:13:02 +0000 (19:13 +0100)
commit21cdb9ffad749e518ca273641a180697c53ef4da
treee68ac2bacce15e29207ff5edbc60dae5b7830db6
parent93d49b4722d323a801b07f90eedc8fbe59c3917b
Patch to make it compile with recent OCaml
helm/software/components/content_pres/content2pres.ml