#
# ChangeLog for src/Clight/test/ptrbool.c
#
# Generated by Trac 1.2
# Mar 8, 2021, 5:43:22 PM

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

	Start moving Clight into common directory.


Fri, 11 Feb 2011 16:45:08 GMT campbell [502]
	* Deliverables/D3.1/C-semantics/Csem.ma (modified)
	* Deliverables/D3.1/C-semantics/test/ptrbool.c (added)

	Fix not on nulls on Clight.