]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/components/acic_procedural/.depend.opt
added auto_cache in the dupable status after an
[helm.git] / helm / software / components / acic_procedural / .depend.opt
index 8d0128744c8b9e740462a1a8001764036199a67e..97238c4d861fc8ee80cbafc6c9c6337d3e3babf2 100644 (file)
@@ -1,6 +1,13 @@
+proceduralHelpers.cmi: 
+proceduralClassify.cmi: 
+proceduralOptimizer.cmi: 
+proceduralTypes.cmi: 
+proceduralMode.cmi: 
+proceduralConversion.cmi: 
 procedural1.cmi: proceduralTypes.cmi 
 procedural2.cmi: proceduralTypes.cmi 
 proceduralTeX.cmi: proceduralTypes.cmi 
+acic2Procedural.cmi: 
 proceduralHelpers.cmo: proceduralHelpers.cmi 
 proceduralHelpers.cmx: proceduralHelpers.cmi 
 proceduralClassify.cmo: proceduralHelpers.cmi proceduralClassify.cmi