#
# ChangeLog for src/ASM/README
#
# Generated by Trac 1.2
# Mar 6, 2021, 10:27:05 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.


Wed, 15 Dec 2010 17:38:59 GMT mulligan [431]
	* Deliverables/D4.1/Matita/Assembly.ma (modified)
	* Deliverables/D4.1/Matita/DoTest.ma (modified)
	* Deliverables/D4.1/Matita/README (modified)
	* Deliverables/D4.1/Matita/Test.ma (modified)
	* Deliverables/D4.1/Matita/depends (modified)

	- README updated
	- Test and DoTest fixed to work on assembly_program ...