]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/tex_cic_textual_parser/.depend
mathql query generator interface patched
[helm.git] / helm / ocaml / tex_cic_textual_parser / .depend
index 28a4689f8b4ea35ea2280da0ce5a86d93abfed8f..71156776aa24e0e03b0c760c3e547315a5c8d578 100644 (file)
@@ -1,6 +1,4 @@
-texCicTextualParser.cmi: texCicTextualParser0.cmo 
-texCicTextualParserContext.cmi: texCicTextualParser.cmi \
-    texCicTextualParser0.cmo 
+texCicTextualParserContext.cmi: texCicTextualParser.cmi 
 texCicTextualParser.cmo: texCicTextualParser0.cmo texCicTextualParser.cmi 
 texCicTextualParser.cmx: texCicTextualParser0.cmx texCicTextualParser.cmi 
 texCicTextualParserContext.cmo: texCicTextualParser.cmi \