X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2FMakefile;h=0271b714a5566704a599af382be964fb34532b89;hb=eaa8cd77b9060af69694327d609b18473b075f4d;hp=0084e5e429f7489c5e7f3aa0ea33c4791e0f81be;hpb=0c69106b8cf67a0baad545a9d7b0816b2b7de8ac;p=helm.git

diff --git a/matita/matita/Makefile b/matita/matita/Makefile
index 0084e5e42..0271b714a 100644
--- a/matita/matita/Makefile
+++ b/matita/matita/Makefile
@@ -38,17 +38,14 @@ MLI = \
 	matitaTypes.mli		\
 	matitaMisc.mli		\
 	applyTransformation.mli	\
-	applyTransformationMml.mli	\
 	matitaEngine.mli	\
 	matitaExcPp.mli 	\
 	matitaInit.mli		\
 	matitaGtkMisc.mli	\
 	virtuals.mli 		\
 	cicMathView.mli 	\
-	cicMathViewMml.mli 	\
 	predefined_virtuals.mli \
 	matitaMathView.mli 	\
-	matitaMathViewMml.mli 	\
 	matitaScript.mli	\
 	matitaGui.mli		\
 	$(NULL)