]> matita.cs.unibo.it Git - helm.git/commitdiff
Ooopps. I forgot this one.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 18 Mar 2003 15:08:03 +0000 (15:08 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 18 Mar 2003 15:08:03 +0000 (15:08 +0000)
helm/ocaml/tex_cic_textual_parser/.depend [new file with mode: 0644]

diff --git a/helm/ocaml/tex_cic_textual_parser/.depend b/helm/ocaml/tex_cic_textual_parser/.depend
new file mode 100644 (file)
index 0000000..28a4689
--- /dev/null
@@ -0,0 +1,11 @@
+texCicTextualParser.cmi: texCicTextualParser0.cmo 
+texCicTextualParserContext.cmi: texCicTextualParser.cmi \
+    texCicTextualParser0.cmo 
+texCicTextualParser.cmo: texCicTextualParser0.cmo texCicTextualParser.cmi 
+texCicTextualParser.cmx: texCicTextualParser0.cmx texCicTextualParser.cmi 
+texCicTextualParserContext.cmo: texCicTextualParser.cmi \
+    texCicTextualParser0.cmo texCicTextualParserContext.cmi 
+texCicTextualParserContext.cmx: texCicTextualParser.cmx \
+    texCicTextualParser0.cmx texCicTextualParserContext.cmi 
+texCicTextualLexer.cmo: texCicTextualParser.cmi 
+texCicTextualLexer.cmx: texCicTextualParser.cmx