Added matitadaemon.

[helm.git] / matitaB / components / content_pres / .depend

diff --git a/matitaB/components/content_pres/.depend b/matitaB/components/content_pres/.depend
index 5c11c1ded8262405d4b965fa534115da4d9f00c3..f519ea34f0b36405bef7ea6a8800223aa53af35a 100644 (file)
--- a/matitaB/components/content_pres/.depend
+++ b/matitaB/components/content_pres/.depend
@@ -1,5 +1,7 @@
 renderingAttrs.cmi: 
 cicNotationLexer.cmi: 
+interpTable.cmi: 
+smallLexer.cmi: 
 cicNotationParser.cmi: 
 mpresentation.cmi: 
 box.cmi: 
@@ -12,6 +14,10 @@ renderingAttrs.cmo: renderingAttrs.cmi
 renderingAttrs.cmx: renderingAttrs.cmi 
 cicNotationLexer.cmo: cicNotationLexer.cmi 
 cicNotationLexer.cmx: cicNotationLexer.cmi 
+interpTable.cmo: interpTable.cmi 
+interpTable.cmx: interpTable.cmi 
+smallLexer.cmo: smallLexer.cmi 
+smallLexer.cmx: smallLexer.cmi 
 cicNotationParser.cmo: cicNotationLexer.cmi cicNotationParser.cmi 
 cicNotationParser.cmx: cicNotationLexer.cmx cicNotationParser.cmi 
 mpresentation.cmo: mpresentation.cmi