#
# ChangeLog for Deliverables/D4.1/Matita/String.ma
#
# Generated by Trac 1.2
# Jan 21, 2021, 6:17:49 PM

Mon, 29 Nov 2010 12:42:00 GMT mulligan [329]
	* Deliverables/D4.1/Matita/Char.ma (modified)
	* Deliverables/D4.1/Matita/Interpret.ma (modified)
	* Deliverables/D4.1/Matita/List.ma (modified)
	* Deliverables/D4.1/Matita/Nat.ma (modified)
	* Deliverables/D4.1/Matita/Status.ma (modified)
	* Deliverables/D4.1/Matita/String.ma (modified)
	* Deliverables/D4.1/Matita/Vector.ma (modified)
	* Deliverables/D4.1/Matita/depends (modified)

	Commit to restore deleted file.


Tue, 23 Nov 2010 16:05:07 GMT sacerdot [264]
	* Deliverables/D4.1/Matita/ASM.ma (modified)
	* Deliverables/D4.1/Matita/Assembly.ma (added)
	* Deliverables/D4.1/Matita/Char.ma (modified)
	* Deliverables/D4.1/Matita/String.ma (modified)
	* Deliverables/D4.1/Matita/depends (modified)

	- new axiomatic data type for Strings
	- new file for Assembly


Mon, 22 Nov 2010 12:55:07 GMT mulligan [249]
	* Deliverables/D4.1/Matita/ASM.ma (modified)
	* Deliverables/D4.1/Matita/Char.ma (added)
	* Deliverables/D4.1/Matita/String.ma (added)

	More work on defining fundamental datatypes.