#
# ChangeLog for src/Clight/acc-0.1.spaces.patch
#
# Generated by Trac 1.2
# Jan 24, 2021, 10:11:07 PM

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

	Start moving Clight into common directory.


Mon, 13 Dec 2010 17:38:40 GMT campbell [416]
	* Deliverables/D3.1/C-semantics/acc-0.1.spaces.patch (modified)

	Fix printing of switch statements as matita terms.