#
# ChangeLog for src/ASM/JMCoercions.ma
#
# Generated by Trac 1.2
# Mar 3, 2021, 1:58:57 PM

Mon, 11 Jul 2011 12:09:03 GMT mulligan [1062]
	* src/ASM/FoldStuff.ma (modified)
	* src/ASM/JMCoercions.ma (added)
	* src/ASM/Util.ma (modified)
	* src/RTLabs/RTLAbstoRTL.ma (modified)

	separated jmeq and coercions from foldstuff.ma in order to fix the ...