]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/grafite2/.depend
Huge reorganization of matita and ocaml.
[helm.git] / helm / ocaml / grafite2 / .depend
index 28de95ab3b3a19a82706274ad945306f05a87915..eaea866c18ea33e92341184efc581e8ce677bfab 100644 (file)
@@ -1,14 +1,10 @@
-matitaSync.cmi: grafiteTypes.cmi 
+grafiteSync.cmi: grafiteTypes.cmi 
 grafiteEngine.cmi: grafiteTypes.cmi 
 grafiteTypes.cmo: grafiteTypes.cmi 
 grafiteTypes.cmx: grafiteTypes.cmi 
-disambiguatePp.cmo: disambiguatePp.cmi 
-disambiguatePp.cmx: disambiguatePp.cmi 
-matitaSync.cmo: grafiteTypes.cmi disambiguatePp.cmi matitaSync.cmi 
-matitaSync.cmx: grafiteTypes.cmx disambiguatePp.cmx matitaSync.cmi 
+grafiteSync.cmo: grafiteTypes.cmi grafiteSync.cmi 
+grafiteSync.cmx: grafiteTypes.cmx grafiteSync.cmi 
 grafiteMisc.cmo: grafiteMisc.cmi 
 grafiteMisc.cmx: grafiteMisc.cmi 
-grafiteEngine.cmo: matitaSync.cmi grafiteTypes.cmi grafiteMisc.cmi \
-    grafiteEngine.cmi 
-grafiteEngine.cmx: matitaSync.cmx grafiteTypes.cmx grafiteMisc.cmx \
-    grafiteEngine.cmi 
+grafiteEngine.cmo: grafiteTypes.cmi grafiteMisc.cmi grafiteEngine.cmi 
+grafiteEngine.cmx: grafiteTypes.cmx grafiteMisc.cmx grafiteEngine.cmi