Download Matita!
-Releases
+Releases
+Matita has no official releases yet. +
-License
+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
+Subversion repository
- You can browse our svn repository directly on the web. + 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.