#
# ChangeLog for Deliverables/D4.1/MatitaPretty.ml
#
# Generated by Trac 1.2
# Jan 23, 2021, 6:45:19 AM

Tue, 30 Nov 2010 13:35:55 GMT sacerdot [339]
	* Deliverables/D4.1/MatitaPretty.ml (added)
	* Deliverables/D4.1/MatitaPretty.mli (added)
	* Deliverables/D4.1/to_matita.ml (added)

	New: pretty printer from HEX files to .ma files.