#
# ChangeLog for initialisation.ma
#
# Generated by Trac 1.2
# Jan 22, 2021, 12:20:12 AM

Fri, 06 May 2011 13:47:18 GMT campbell [788]
	* initialisation.ma (copied)
	* toRTLabs.ma (copied)

	Add newer files to experimental Cminor branch.


Mon, 18 Apr 2011 10:33:35 GMT campbell [758]
	* src/Clight/test/sum.c (added)
	* src/Clight/test/sum.ma (added)
	* src/Cminor/cminorMatitaPrinter.ml (modified)
	* src/Cminor/initialisation.ma (added)
	* src/Cminor/test/sum.c (added)
	* src/Cminor/test/sum.ma (added)
	* src/common/Globalenvs.ma (modified)

	Implement replacement of global var initialisation data by code in ...