#
# ChangeLog for Deliverables/D3.3/Cminor-experiment
#
# Generated by Trac 1.2
# Jan 15, 2021, 7:06:56 PM

Fri, 06 May 2011 09:45:27 GMT campbell [787]
	* Deliverables/D3.3/Cminor-experiment/semantics.ma (modified)
	* Deliverables/D3.3/Cminor-experiment/syntax.ma (modified)

	Update experimental version of Cminor semantics.


Fri, 15 Apr 2011 14:26:23 GMT campbell [755]
	* Deliverables/D3.3 (added)
	* Deliverables/D3.3/Cminor-experiment (added)
	* Deliverables/D3.3/Cminor-experiment/README (added)
	* Deliverables/D3.3/Cminor-experiment/be.agda (added)
	* Deliverables/D3.3/Cminor-experiment/semantics.ma (copied)
	* Deliverables/D3.3/Cminor-experiment/syntax.ma (copied)
	* Deliverables/D3.3/Cminor-experiment/test (copied)
	* Deliverables/D3.3/Cminor-experiment/test/search.ma (modified)

	An experimental branch of the Cminor semantics.