<body>
<!--#include virtual="menubar.shtml" -->
<p>
- The origin of Matita go back to 1999 and are intertwined with the
+ The origins of Matita go back to 1999 and are intertwined with the
<a href="http://helm.cs.unibo.it">HELM Project</a>. Since then, a
lot of people contributed both ideas and source code that have made
Matita what it looks today. In this page we tried to summarize all