]> matita.cs.unibo.it Git - helm.git/commit
Ported to ocaml-3.04.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 29 Jan 2002 14:44:29 +0000 (14:44 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 29 Jan 2002 14:44:29 +0000 (14:44 +0000)
commit8d410ba1a6b315f218cbf06626d43e638aef4133
treed8ac76e76da6f1250a41fad2b6ace53a79ef35a1
parent3a09b083d615f336ce2c4a948b1440187d735426
Ported to ocaml-3.04.
helm/ocaml/Makefile.common.in
helm/ocaml/pxp/csc_pxp_reader.ml