3 <title>Matita home page - community</title>
9 <font size="-1" face="Arial, Helvetica, sans-serif">
13 <table align=center width=95% cellpadding=4>
17 <!-- Matita Header -->
18 <table bgcolor=#D0FFD0 align=center cellpadding=3 width=100%>
21 <a href=index.html>Matita Home</a>
25 <a href=developers.html>Developers</a>
29 <a href=documentation.html>Documentation</a>
33 <a href=community.html>Community</a>
37 <a href=download.html>Download</a>