#
# ChangeLog for Deliverables/D2.2/8051-memoryspaces-branch
#
# Generated by Trac 1.2
# Jan 23, 2021, 4:33:18 PM

Fri, 22 Apr 2011 11:49:12 GMT campbell [769]
	* Deliverables/D2.2/8051-memoryspaces-branch/src/clight/clightPrintMatita.ml (modified)

	Update the Clight matita term printer.


Tue, 15 Mar 2011 13:19:28 GMT sacerdot [680]
	* Deliverables/D2.2/8051-memoryspaces-branch (moved)

	8051-memoryspace-branch from Brian moved from D2.3 (that does not ...


Wed, 09 Feb 2011 17:22:34 GMT campbell [490]
	* Deliverables/D2.3/8051-memoryspaces-branch/src/clight/clightPrintMatita.ml (modified)

	Update syntax of Matita Clight term printer.