#
# ChangeLog for src/Clight/Values.ma
#
# Generated by Trac 1.2
# Jan 15, 2021, 8:29:20 PM

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

	Start moving Clight into common directory.


Fri, 04 Mar 2011 17:20:26 GMT campbell [636]
	* Deliverables/D3.1/C-semantics/AST.ma (modified)
	* Deliverables/D3.1/C-semantics/Errors.ma (modified)
	* Deliverables/D3.1/C-semantics/Values.ma (modified)
	* Deliverables/D3.1/C-semantics/cerco/Vector.ma (modified)

	A few definitions that will be useful for some preliminary rtlabs ...