#
# ChangeLog for src/ERTLptr/ERTLtoERTLptr.ma
#
# Generated by Trac 1.2
# Feb 25, 2021, 6:35:49 PM

Sat, 05 Jan 2013 12:41:13 GMT piccolo [2570]
	* src/ERTLptr/ERTLtoERTLptr.ma (modified)
	* src/ERTLptr/ERTLtoERTLptrOK.ma (added)
	* src/common/ExtraMonads.ma (added)
	* src/common/extraGlobalenvs.ma (modified)
	* src/joint/linearise.ma (modified)
	* src/joint/lineariseProof.ma (modified)
	* src/joint/semantics.ma (modified)

	ERTLtoERTLptr in place


Wed, 19 Dec 2012 17:55:08 GMT piccolo [2566]
	* src/ERTL/semantics.ma (modified)
	* src/ERTLptr (added)
	* src/ERTLptr/ERTLptr.ma (added)
	* src/ERTLptr/ERTLtoERTLptr.ma (added)
	* src/ERTLptr/semantics.ma (added)

	ERTL to ERTLptr pass implemented up to a few things to be
	left to ...