#
# ChangeLog for src/Clight/test/string.c
#
# Generated by Trac 1.2
# Mar 8, 2021, 6:02:14 PM

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

	Start moving Clight into common directory.


Wed, 02 Feb 2011 11:41:05 GMT campbell [485]
	* Deliverables/D3.1/C-semantics/AST.ma (modified)
	* Deliverables/D3.1/C-semantics/Cexec.ma (modified)
	* Deliverables/D3.1/C-semantics/CexecComplete.ma (modified)
	* Deliverables/D3.1/C-semantics/CexecEquiv.ma (modified)
	* Deliverables/D3.1/C-semantics/CexecSound.ma (modified)
	* Deliverables/D3.1/C-semantics/Csem.ma (modified)
	* Deliverables/D3.1/C-semantics/Errors.ma (modified)
	* Deliverables/D3.1/C-semantics/Globalenvs.ma (modified)
	* Deliverables/D3.1/C-semantics/Mem.ma (modified)
	* Deliverables/D3.1/C-semantics/test/insertsort.c (modified)
	* Deliverables/D3.1/C-semantics/test/string.c (added)

	Fix treatment of pointers in initialisation data, a little like later ...