- <h1><span class="h1">Sources</span></h1>
- <p>
- 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.
- </p>
- <p>
- To checkout a copy of the sources type:
+ <div class="main">
+ <h1>Download Matita!</h1>
+ <h2>Sources</h2>
+ <p>
+ 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.
+ </p>
+ <p>
+ To checkout a copy of the sources type: