]> matita.cs.unibo.it Git - helm.git/commit
Compilation fix
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Fri, 20 May 2011 09:59:31 +0000 (09:59 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Fri, 20 May 2011 09:59:31 +0000 (09:59 +0000)
commit6f020d79dea92003151e5e588fd73452f20ffb2c
treea2ee4561ddc1b557779c30ec456c2b0f08eff287
parent4ba652d65269628faf6c81269276c7f9f2c8e60a
Compilation fix
14 files changed:
matitaB/components/content/.depend
matitaB/components/content_pres/Makefile
matitaB/components/content_pres/box.ml
matitaB/components/content_pres/box.mli
matitaB/components/content_pres/boxPp.ml
matitaB/components/content_pres/cicNotationPres.ml
matitaB/components/content_pres/termContentPres.ml
matitaB/components/extlib/.depend
matitaB/components/grafite_parser/.depend
matitaB/components/library/.depend
matitaB/components/ng_cic_content/interpretations.ml
matitaB/components/ng_cic_content/interpretations.mli
matitaB/components/ng_disambiguation/.depend
matitaB/components/ng_kernel/.depend