X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fcontent%2FMakefile;h=8ea1cd33c734c0aa2bb493fb368ebc8f8b548484;hb=894d518aa760c9f816ddb0dc2b3fa88e1fe20a94;hp=2f1a3896a3881f21501ddcd7d0dec766c717383d;hpb=5553ac7623425bce6f34eed6e17d4f0f8163e9aa;p=helm.git

diff --git a/matita/components/content/Makefile b/matita/components/content/Makefile
index 2f1a3896a..8ea1cd33c 100644
--- a/matita/components/content/Makefile
+++ b/matita/components/content/Makefile
@@ -3,13 +3,12 @@ PREDICATES =
 
 INTERFACE_FILES =		\
 	content.mli		\
-	cicNotationUtil.mli	\
-	cicNotationEnv.mli	\
-	cicNotationPp.mli	\
-	interpretations.mli \
+	notationUtil.mli	\
+	notationEnv.mli	\
+	notationPp.mli	\
 	$(NULL)
 IMPLEMENTATION_FILES =		\
-	cicNotationPt.ml	\
+	notationPt.ml	\
 	$(INTERFACE_FILES:%.mli=%.ml)
 
 include ../../Makefile.defs