-procedural1.cmi: proceduralTypes.cmi
+procedural2.cmi: proceduralTypes.cmi
proceduralTeX.cmi: proceduralTypes.cmi
proceduralHelpers.cmo: proceduralHelpers.cmi
proceduralHelpers.cmx: proceduralHelpers.cmi
proceduralMode.cmx: proceduralClassify.cmx proceduralMode.cmi
proceduralConversion.cmo: proceduralHelpers.cmi proceduralConversion.cmi
proceduralConversion.cmx: proceduralHelpers.cmx proceduralConversion.cmi
-procedural1.cmo: proceduralTypes.cmi proceduralHelpers.cmi \
- proceduralConversion.cmi proceduralClassify.cmi procedural1.cmi
-procedural1.cmx: proceduralTypes.cmx proceduralHelpers.cmx \
- proceduralConversion.cmx proceduralClassify.cmx procedural1.cmi
+procedural2.cmo: proceduralTypes.cmi proceduralHelpers.cmi \
+ proceduralConversion.cmi proceduralClassify.cmi procedural2.cmi
+procedural2.cmx: proceduralTypes.cmx proceduralHelpers.cmx \
+ proceduralConversion.cmx proceduralClassify.cmx procedural2.cmi
proceduralTeX.cmo: proceduralTypes.cmi proceduralHelpers.cmi \
proceduralTeX.cmi
proceduralTeX.cmx: proceduralTypes.cmx proceduralHelpers.cmx \
proceduralTeX.cmi
-acic2Procedural.cmo: proceduralTypes.cmi proceduralTeX.cmi procedural1.cmi \
+acic2Procedural.cmo: proceduralTypes.cmi proceduralTeX.cmi procedural2.cmi \
acic2Procedural.cmi
-acic2Procedural.cmx: proceduralTypes.cmx proceduralTeX.cmx procedural1.cmx \
+acic2Procedural.cmx: proceduralTypes.cmx proceduralTeX.cmx procedural2.cmx \
acic2Procedural.cmi