+proceduralTeX.cmi: proceduralTypes.cmi
proceduralHelpers.cmo: proceduralHelpers.cmi
proceduralHelpers.cmx: proceduralHelpers.cmi
proceduralClassify.cmo: proceduralHelpers.cmi proceduralClassify.cmi
proceduralConversion.cmi proceduralClassify.cmi acic2Procedural.cmi
acic2Procedural.cmx: proceduralTypes.cmx proceduralHelpers.cmx \
proceduralConversion.cmx proceduralClassify.cmx acic2Procedural.cmi
+proceduralTeX.cmo: proceduralTypes.cmi proceduralHelpers.cmi \
+ proceduralTeX.cmi
+proceduralTeX.cmx: proceduralTypes.cmx proceduralHelpers.cmx \
+ proceduralTeX.cmi