To add a unicode character for the Matita manual have look at config/matita.ucf
(learn by example), and re-run "make defs" (have a look at Makefile).

Thu, 08 Jun 2006 17:43:07 +0200 zacchiro