+ <p>
+ 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
+ of them, we apologize for whom we forgot to mention.
+ </p>