<!--#include virtual="menubar.shtml" -->
<h1><span class="h1">Sources</span></h1>
<p>
- Matita has no officiale releases yet.
+ 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:
<pre>
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
</pre>