X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fmatita%2FMakefile.in;h=6d32e6eb749f669fc05e317b2a5cecb431d18ada;hb=7c123bfb1568f90f37cd667332fbf60d4423b983;hp=c489fe33d8e0b3f5ca89600683fb99fab642bff3;hpb=ec57b172235af36adc9bf709bf6488edd4ec8544;p=helm.git

diff --git a/helm/matita/Makefile.in b/helm/matita/Makefile.in
index c489fe33d..6d32e6eb7 100644
--- a/helm/matita/Makefile.in
+++ b/helm/matita/Makefile.in
@@ -39,19 +39,21 @@ CMOS =				\
 	matitaLog.cmo		\
 	matitaTypes.cmo		\
 	matitaMoo.cmo		\
-	matitaExcPp.cmo 	\
 	matitaMisc.cmo		\
 	matitaDb.cmo		\
 	matitamakeLib.cmo	\
-	matitaInit.cmo	\
+	matitaInit.cmo		\
+	disambiguatePp.cmo	\
 	matitaSync.cmo		\
-	matitacleanLib.cmo	\
 	matitaDisambiguator.cmo	\
+	matitaExcPp.cmo 	\
+	matitacleanLib.cmo	\
 	matitaEngine.cmo	\
 	matitacLib.cmo		\
 	matitaScript.cmo	\
 	matitaGeneratedGui.cmo	\
 	matitaGtkMisc.cmo	\
+	applyTransformation.cmo	\
 	matitaMathView.cmo 	\
 	matitaGui.cmo		\
 	$(NULL)
@@ -61,13 +63,14 @@ CCMOS =				\
 	matitaLog.cmo		\
 	matitaTypes.cmo		\
 	matitaMoo.cmo		\
-	matitaExcPp.cmo 	\
 	matitaMisc.cmo		\
 	matitaDb.cmo		\
 	matitamakeLib.cmo	\
-	matitaInit.cmo \
+	matitaInit.cmo		\
+	disambiguatePp.cmo	\
 	matitaSync.cmo		\
 	matitaDisambiguator.cmo	\
+	matitaExcPp.cmo 	\
 	matitacleanLib.cmo	\
 	matitaEngine.cmo	\
 	matitacLib.cmo		\