#
# ChangeLog for src/acc-matita-printers.patch
#
# Generated by Trac 1.2
# Jan 15, 2021, 7:49:09 PM

Wed, 04 Jan 2012 18:19:09 GMT campbell [1633]
	* src/Clight/clightPrintMatita.ml (modified)
	* src/Cminor/cminorMatitaPrinter.ml (modified)
	* src/Cminor/test/factorial.Cminor.ma (added)
	* src/Cminor/test/factorial.ma (deleted)
	* src/Cminor/test/factorial.test.ma (added)
	* src/Cminor/test/null-op.Cminor.ma (modified)
	* src/Cminor/test/null-op.test.ma (added)
	* src/Cminor/test/search.Cminor.ma (modified)
	* src/Cminor/test/search.test.ma (modified)
	* src/Cminor/test/sum-bad.ma (deleted)
	* src/Cminor/test/switcher.ma (deleted)
	* src/RTLabs/RTLabsMatitaPrinter.ml (modified)
	* src/RTLabs/import.ma (modified)
	* src/acc-matita-printers.patch (modified)

	Update Cminor pretty printer and examples.


Wed, 31 Aug 2011 10:15:40 GMT campbell [1158]
	* src/acc-matita-printers.patch (added)

	Record patch needed to use matita pretty printers with acc.