#
# ChangeLog for Deliverables/D3.3/id-lookup-branch/ASM/JMCoercions.ma
#
# Generated by Trac 1.2
# Jan 28, 2021, 4:30:27 AM

Mon, 25 Jul 2011 10:41:36 GMT campbell [1086]
	* Deliverables/D3.3/id-lookup-branch (copied)

	Branch for experimenting with identifier binding guarantees.


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 ...