debian specific patch information for matita / 0.5.8-3

 matita/matita.conf.xml.in |   14 ++++++--------
 1 file changed, 6 insertions(+), 8 deletions(-)

 components/cic_disambiguation/number_notation.ml |    3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

 Makefile.defs.in |   12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

 components/content_pres/cicNotationParser.ml |    4 ++--
 components/grafite_parser/print_grammar.ml   |    6 +++---
 2 files changed, 5 insertions(+), 5 deletions(-)