Download Matita!
-Sources
+ +Releases
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. +
+ +License
++ All our source code is released under the terms of the GNU General Public + Licence and is publically accessible on our Subversion repository. +
+ +Subversion repository
++ You can browse our svn repository directly on the web.
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 -+ +
+ 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. + installation instructions on + how to build and install Matita from sources.
+