#
# ChangeLog for src/ASM/I8051bis.ma
#
# Generated by Trac 1.2
# Mar 3, 2021, 1:39:19 PM

Wed, 19 Oct 2011 14:22:52 GMT sacerdot [1415]
	* src/ASM/I8051.ma (modified)
	* src/ASM/I8051bis.ma (added)
	* src/ERTL/semantics.ma (modified)
	* src/LIN/joint_LTL_LIN_semantics.ma (modified)
	* src/RTL/semantics.ma (modified)
	* src/joint/SemanticUtils.ma (modified)
	* src/joint/semantics.ma (modified)

	1. hwreg_store/retrieve no longer returns a res (but it is still ...