#
# ChangeLog for src/utilities/Colouring.ma
#
# Generated by Trac 1.2
# Feb 28, 2021, 8:22:06 PM

Mon, 19 Sep 2011 10:57:02 GMT mulligan [1227]
	* Deliverables/D2.2/8051/src/ERTL/ERTLToLTL.ml (modified)
	* Deliverables/D2.2/8051/src/utilities/interference.ml (modified)
	* src/ERTL/build.ma (modified)
	* src/utilities/Colouring.ma (modified)

	changes


Tue, 06 Sep 2011 13:49:31 GMT mulligan [1193]
	* src/ASM/I8051.ma (modified)
	* src/ASM/Util.ma (modified)
	* src/utilities/Colouring.ma (modified)
	* src/utilities/Interference.ma (modified)
	* src/utilities/RegisterSet.ma (modified)

	work on colouring algorithm halted as it can be axiomatised.  now ...


Tue, 06 Sep 2011 11:33:21 GMT mulligan [1192]
	* src/ERTL/ERTLToLTL.ma (modified)
	* src/utilities/BitVectorTrieMap.ma (added)
	* src/utilities/Colouring.ma (added)
	* src/utilities/Fix.ma (added)
	* src/utilities/Interference.ma (modified)

	some files that were missing / laying dormant on my computer