]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/components/acic_procedural/.depend
we rebuilt the dependences
[helm.git] / helm / software / components / acic_procedural / .depend
index bb44e4dfb12020b37879934e54e0cc654e5875b4..122ed19388e3e115971b600f09ac78909116af40 100644 (file)
@@ -1,12 +1,5 @@
-proceduralHelpers.cmi: 
-proceduralClassify.cmi: 
-proceduralOptimizer.cmi: 
-proceduralTypes.cmi: 
-proceduralMode.cmi: 
-proceduralConversion.cmi: 
 procedural1.cmi: proceduralTypes.cmi 
 proceduralTeX.cmi: proceduralTypes.cmi 
-acic2Procedural.cmi: 
 proceduralHelpers.cmo: proceduralHelpers.cmi 
 proceduralHelpers.cmx: proceduralHelpers.cmi 
 proceduralClassify.cmo: proceduralHelpers.cmi proceduralClassify.cmi