#
# ChangeLog for Deliverables/D4.2-4.3
#
# Generated by Trac 1.2
# Feb 25, 2021, 5:49:33 PM

Thu, 10 Feb 2011 14:28:59 GMT mulligan [491]
	* Deliverables/D4.2-4.3/ASM (added)
	* Deliverables/D4.2-4.3/ASM/I8051.ma (added)
	* Deliverables/D4.2-4.3/LIN (added)
	* Deliverables/D4.2-4.3/LIN/LIN.ma (added)
	* Deliverables/D4.2-4.3/LIN/LinToAsm.ma (added)
	* Deliverables/D4.2-4.3/common (added)
	* Deliverables/D4.2-4.3/common/AST.ma (added)
	* Deliverables/D4.2-4.3/common/CostLabel.ma (added)
	* Deliverables/D4.2-4.3/utilities (added)
	* Deliverables/D4.2-4.3/utilities/BitVectorTrieSet.ma (added)
	* Deliverables/D4.2-4.3/utilities/Compare.ma (added)
	* Deliverables/D4.2-4.3/utilities/StringTools.ma (added)

	Initial commit of (part)-formalisation of LIN intermediate language.


Mon, 24 Jan 2011 13:37:51 GMT mulligan [476]
	* Deliverables/D4.2-4.3 (added)

	Commiting directory for formalization of intermediate compiler
	languages.