#
# ChangeLog for src/Clight/compcert-1.7.1-matita.patch
#
# Generated by Trac 1.2
# Mar 6, 2021, 10:10:59 AM

Fri, 18 Mar 2011 11:30:38 GMT campbell [694]
	* src/Clight (moved)

	Start moving Clight into common directory.


Mon, 13 Dec 2010 10:47:21 GMT campbell [405]
	* Deliverables/D3.1/C-semantics (moved)

	Move C semantics to the appropriate deliverable directory.