#
# ChangeLog for src/Clight/test/controlflow.c.ma
#
# Generated by Trac 1.2
# Mar 3, 2021, 1:58:45 PM

Fri, 05 Oct 2012 10:57:17 GMT campbell [2388]
	* Deliverables/D2.2/8051-matita-out/src/clight/clightPrintMatita.ml (modified)
	* src/Clight/test/controlflow.c (added)
	* src/Clight/test/controlflow.c.ma (added)
	* src/Clight/test/controlflow.test.ma (added)

	Example of each type of control flow statement, plus minor fix to ...