- We are currently developing - Wiki-like - technologies to support collaborative development of the Matita - library, encouraging people to expand, modify and elaborate previous - contributions. "Miki: a formal Mathematics wIKI" is the - codename of the effort. -

Matita Community

Miki

+ We are currently developing + Wiki-like + technologies to support collaborative development of the Matita + library, encouraging people to expand, modify and elaborate previous + contributions. "Miki: a formal Mathematics wIKI" is the + codename of the effort. +

- The origins of Matita go back to 1999 and are intertwined with the - HELM Project. 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. -

Current team members

Former members

Matita Development

+ The origins of Matita go back to 1999 and are intertwined with the + HELM Project. 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. +

Current team members

Andrea Asperti - Full Professor
Claudio Sacerdoti Coen - Lecturer
Enrico Tassi - PhD Student
Stefano Zacchiroli - PhD Student

+ +

Former members

Ferruccio Guidi - PhD
Luca Padovani - Lecturer
Irene Schena - PhD
Pietro Di Lena - Master Student
Michele GalatÃ¡ - Master Student
Alberto Griggio - Master Student
Matteo Selmi - Master Student
Vincenzo Tamburrelli - Master Student

+ + + + diff --git a/helm/www/matita/documentation.shtml b/helm/www/matita/documentation.shtml index 8062a8b88..361fdb0a6 100644 --- a/helm/www/matita/documentation.shtml +++ b/helm/www/matita/documentation.shtml @@ -6,15 +6,18 @@ -

User manual

- We are working on the user manual of Matita. The current status is - available in our - svn repository - in the - matita/help directory - (in DocBook format) -

Matita Documentation

User manual

+ We are working on the user manual of Matita. The current status is + available in our + svn repository + in the + matita/help directory + (in DocBook format) +

diff --git a/helm/www/matita/download.shtml b/helm/www/matita/download.shtml index d780ab156..af333712f 100644 --- a/helm/www/matita/download.shtml +++ b/helm/www/matita/download.shtml @@ -6,27 +6,30 @@ -

Sources

- Matita has no official releases yet. - Still, you can get and build Matita from sources. - All our source code is released under the terms of the GNU General - Public Licence and is publically accessible on our svn repository. -

- To checkout a copy of the sources type: +

Download Matita!

Sources

+ Matita has no official releases yet. + Still, you can get and build Matita from sources. + All our source code is released under the terms of the GNU General + Public Licence and is publically accessible on our svn repository. +

+ To checkout a copy of the sources type:

     svn co -N svn://mowgli.cs.unibo.it/trunk/helm/software/
     cd software
     svn co svn://mowgli.cs.unibo.it/trunk/helm/software/components
     svn co svn://mowgli.cs.unibo.it/trunk/helm/software/matita

- Once you got the sources, have a look at the - installation instructions on how to build and - install Matita from sources. -

+ Once you got the sources, have a look at the + installation instructions on how to build and + install Matita from sources. +

diff --git a/helm/www/matita/matita.shtml b/helm/www/matita/matita.shtml index 245cba1c3..6ef651759 100644 --- a/helm/www/matita/matita.shtml +++ b/helm/www/matita/matita.shtml @@ -5,7 +5,7 @@