#
# ChangeLog for src/utilities/IdentifierTools.ma
#
# Generated by Trac 1.2
# Mar 6, 2021, 9:43:51 AM

Fri, 01 Apr 2011 16:12:57 GMT mulligan [735]
	* src/ERTL/ERTL.ma (modified)
	* src/ERTL/Liveness.ma (modified)
	* src/utilities/IdentifierTools.ma (modified)

	Changes from today


Fri, 18 Mar 2011 13:53:25 GMT mulligan [699]
	* src/LIN/LIN.ma (modified)
	* src/LIN/LINToASM.ma (modified)
	* src/common/AST.ma (modified)
	* src/common/CostLabel.ma (modified)
	* src/utilities/IdentifierTools.ma (added)
	* src/utilities/StringTools.ma (deleted)

	More or less finished formalisation of LIN.