Added support for hyperlinks in the goal view of the web interface.

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

diff --git a/matitaB/components/content_pres/.depend b/matitaB/components/content_pres/.depend
index bcbd3cae2f0ca9705106910a817de4817d229493..3a1c6036def82f4c2465eccb66b5ffff80032fcb 100644 (file)
--- a/matitaB/components/content_pres/.depend
+++ b/matitaB/components/content_pres/.depend
@@ -2,10 +2,10 @@ cicNotationLexer.cmi:
 smallLexer.cmi: 
 cicNotationParser.cmi: 
 box.cmi: 
+content2presMatcher.cmi: 
 termContentPres.cmi: cicNotationParser.cmi 
 boxPp.cmi: cicNotationPres.cmi 
 cicNotationPres.cmi: termContentPres.cmi box.cmi 
-content2presMatcher.cmi: 
 cicNotationLexer.cmo: cicNotationLexer.cmi 
 cicNotationLexer.cmx: cicNotationLexer.cmi 
 smallLexer.cmo: smallLexer.cmi 
@@ -14,6 +14,8 @@ cicNotationParser.cmo: cicNotationLexer.cmi cicNotationParser.cmi
 cicNotationParser.cmx: cicNotationLexer.cmx cicNotationParser.cmi 
 box.cmo: box.cmi 
 box.cmx: box.cmi 
+content2presMatcher.cmo: content2presMatcher.cmi 
+content2presMatcher.cmx: content2presMatcher.cmi 
 termContentPres.cmo: content2presMatcher.cmi cicNotationParser.cmi \
     termContentPres.cmi 
 termContentPres.cmx: content2presMatcher.cmx cicNotationParser.cmx \
@@ -22,5 +24,3 @@ boxPp.cmo: box.cmi boxPp.cmi
 boxPp.cmx: box.cmx boxPp.cmi 
 cicNotationPres.cmo: termContentPres.cmi box.cmi cicNotationPres.cmi 
 cicNotationPres.cmx: termContentPres.cmx box.cmx cicNotationPres.cmi 
-content2presMatcher.cmo: content2presMatcher.cmi 
-content2presMatcher.cmx: content2presMatcher.cmi