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

Tue, 24 May 2011 12:27:43 GMT campbell [830]
	* Deliverables/D3.3/Cminor-experiment/initialisation.ma (moved)
	* Deliverables/D3.3/Cminor-experiment/toRTLabs.ma (moved)

	Move files that accidentally ended up in the root of the repository.


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.