first check-in of cic_notation

[helm.git] / helm / ocaml / cic_notation / .depend

diff --git a/helm/ocaml/cic_notation/.depend b/helm/ocaml/cic_notation/.depend
new file mode 100644 (file)
index 0000000..e0012b1
--- /dev/null
+++ b/helm/ocaml/cic_notation/.depend
@@ -0,0 +1,4 @@
+cicNotationLexer.cmo: cicNotationLexer.cmi 
+cicNotationLexer.cmx: cicNotationLexer.cmi 
+cicNotationParser.cmo: cicNotationLexer.cmi cicNotationParser.cmi 
+cicNotationParser.cmx: cicNotationLexer.cmx cicNotationParser.cmi