#
# ChangeLog for src/acc-matita-printers.patch
#
# Generated by Trac 1.2
# Dec 9, 2019, 4:07:46 PM

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.