#
# ChangeLog for src/acc-matita-printers.patch
#
# Generated by Trac 1.2
# Jan 16, 2021, 8:07:27 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.