#
# ChangeLog for Deliverables/D3.1/Report
#
# Generated by Trac 1.2
# Jan 28, 2021, 1:53:47 PM

Mon, 13 Dec 2010 12:04:14 GMT campbell [408]
	* Deliverables/D3.1/Report/report.pdf (modified)
	* Deliverables/D3.1/Report/report.tex (modified)

	Add missing diagram.


Mon, 13 Dec 2010 11:43:12 GMT campbell [407]
	* Deliverables/D3.1/Report/report.tex (modified)

	Mention version of compcert used.


Sun, 12 Dec 2010 23:02:29 GMT campbell [402]
	* Deliverables/D3.1/Report/report.pdf (modified)
	* Deliverables/D3.1/Report/report.tex (modified)

	Revise D3.1, add notes on files.


Wed, 08 Dec 2010 17:08:05 GMT campbell [393]
	* C-semantics/CexecIOcomplete.ma (modified)
	* Deliverables/D3.1/Report/report.pdf (modified)
	* Deliverables/D3.1/Report/report.tex (modified)

	A few more details in D3.1.


Mon, 06 Dec 2010 16:17:40 GMT campbell [381]
	* Deliverables/D3.1/Report/report.bib (modified)
	* Deliverables/D3.1/Report/report.pdf (modified)
	* Deliverables/D3.1/Report/report.tex (modified)

	Some d3.1 work.


Mon, 29 Nov 2010 17:42:10 GMT campbell [335]
	* Deliverables/D3.1/Report/report.pdf (modified)
	* Deliverables/D3.1/Report/report.tex (modified)

	Quick pass through 3.1 text.


Wed, 27 Oct 2010 14:27:28 GMT campbell [207]
	* Deliverables/D3.1/Report/report.pdf (modified)
	* Deliverables/D3.1/Report/report.tex (modified)

	Add memory extensions and rework parts of D3.1.


Tue, 19 Oct 2010 11:42:08 GMT campbell [197]
	* Deliverables/D3.1 (added)
	* Deliverables/D3.1/Report (added)
	* Deliverables/D3.1/Report/report.bib (added)
	* Deliverables/D3.1/Report/report.pdf (added)
	* Deliverables/D3.1/Report/report.tex (added)

	Add some first draft text for 3.1.