]> matita.cs.unibo.it Git - helm.git/commit
The Aux argument of conclude is now of type string (used to be int).
authorAndrea Asperti <andrea.asperti@unibo.it>
Mon, 21 Jul 2003 17:03:37 +0000 (17:03 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Mon, 21 Jul 2003 17:03:37 +0000 (17:03 +0000)
commitc43f710f5e23e940114b1623329f650814e783af
tree4a679441666a1dc39f896dd2d76051525376dfa4
parenta70ce8d5659ab5cd532317e206a30da878ff8a89
The Aux argument of conclude is now of type string (used to be int).
Case Fixed.
helm/ocaml/cic_omdoc/cic2content.ml
helm/ocaml/cic_omdoc/content.ml
helm/ocaml/cic_omdoc/content.mli
helm/ocaml/cic_omdoc/content2cic.ml
helm/ocaml/cic_omdoc/contentPp.ml