<p> The Matita User Manual is accessible from Matita itself via the
<a href="http://developer.gnome.org/arch/doc/help.html">GNOME Help
<p> The Matita User Manual is accessible from Matita itself via the
<a href="http://developer.gnome.org/arch/doc/help.html">GNOME Help