]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/components/acic_procedural/.depend
new tactics are almost ready
[helm.git] / helm / software / components / acic_procedural / .depend
index 122ed19388e3e115971b600f09ac78909116af40..bb44e4dfb12020b37879934e54e0cc654e5875b4 100644 (file)
@@ -1,5 +1,12 @@
+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