]> matita.cs.unibo.it Git - helm.git/commit
Compilation fix
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Fri, 20 May 2011 09:59:53 +0000 (09:59 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Fri, 20 May 2011 09:59:53 +0000 (09:59 +0000)
commitb3be8ee41041a90005740cfa106109e0c83db13f
treec50a18c1649a144303be2386490741d7a9b971b1
parent6f020d79dea92003151e5e588fd73452f20ffb2c
Compilation fix
matitaB/matita/.depend
matitaB/matita/applyTransformation.ml
matitaB/matita/applyTransformation.mli
matitaB/matita/cicMathView.ml