]> matita.cs.unibo.it Git - helm.git/commit
** UNTESTED **
authorAndrea Asperti <andrea.asperti@unibo.it>
Mon, 21 Jul 2003 12:10:58 +0000 (12:10 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Mon, 21 Jul 2003 12:10:58 +0000 (12:10 +0000)
commite23bc37c0a5e552395e499e7b8cee8d610b8e4f4
treed664950f88a93b8c67fdaa7371d888d2019977bf
parentd9b059cc6ee460f5a0b0c606fd70241be49f0125
** UNTESTED **
Fix and CoFix are now handled "correctly" ;-)
helm/ocaml/cic_omdoc/cic2content.ml
helm/ocaml/cic_omdoc/content.ml
helm/ocaml/cic_omdoc/content.mli
helm/ocaml/cic_omdoc/content2cic.ml