#
# ChangeLog for src/ASM/new-matita-development/Fetch.ma
#
# Generated by Trac 1.2
# Jan 25, 2021, 12:06:39 AM

Fri, 18 Mar 2011 10:31:32 GMT mulligan [688]
	* Deliverables/D4.1/Demo-March-2011 (deleted)
	* Deliverables/D4.2-4.3/LIN/LinToAsm.ma (deleted)
	* src (added)
	* src/ASM (moved)
	* src/LIN (moved)
	* src/LIN/LIN.ma (copied)

	Fixed local conflicts.  Restructured svn repository.


Mon, 24 Jan 2011 09:47:38 GMT mulligan [475]
	* Deliverables/D4.1/Matita/new-matita-development (added)
	* Deliverables/D4.1/Matita/new-matita-development/ASM.ma (added)
	* Deliverables/D4.1/Matita/new-matita-development/Arithmetic.ma (added)
	* Deliverables/D4.1/Matita/new-matita-development/BitVector.ma (added)
	* Deliverables/D4.1/Matita/new-matita-development/BitVectorTrie.ma (added)
	* Deliverables/D4.1/Matita/new-matita-development/Char.ma (added)
	* Deliverables/D4.1/Matita/new-matita-development/Fetch.ma (added)
	* Deliverables/D4.1/Matita/new-matita-development/Interpret.ma (added)
	* Deliverables/D4.1/Matita/new-matita-development/Status.ma (added)
	* Deliverables/D4.1/Matita/new-matita-development/String.ma (added)
	* Deliverables/D4.1/Matita/new-matita-development/Util.ma (added)
	* Deliverables/D4.1/Matita/new-matita-development/Vector.ma (added)

	Matita interpreter ported to latest version of matita (the one with ...