Index of /FILES

Icon  Name                           Last modified      Size  Description
[PARENTDIR] Parent Directory - [   ] matita-0.5.8.iso 2010-01-08 00:20 514M [   ] matita-0.5.8.orig.tar.gz 2009-12-02 00:26 5.6M [   ] matita-0.5.9.tar.gz 2014-12-23 11:10 5.2M [   ] matita-0.99.1.iso 2011-11-30 13:07 899M [   ] matita-0.99.1.tar.gz 2011-11-30 13:05 2.5M [   ] matita-0.99.2.iso 2013-05-01 01:17 1.1G [   ] matita-doc_0.5.9_all.deb 2014-12-23 11:13 1.2M [   ] matita-ex.pdf 2007-12-18 18:13 19K [   ] matita-svnhead.iso 2010-01-21 23:59 514M [   ] matita-tut.pdf 2009-05-13 22:11 130K [   ] matita_0.5.0.orig.tar.gz 2008-05-10 12:21 2.0M [   ] matita_0.5.1.orig.tar.gz 2008-05-28 12:07 1.8M [   ] matita_0.5.2.orig.tar.gz 2008-07-02 11:58 1.8M [   ] matita_0.5.3.orig.tar.gz 2008-07-23 23:41 1.8M [   ] matita_0.5.4.orig.tar.gz 2008-10-19 11:24 1.9M [   ] matita_0.5.5.orig.tar.gz 2008-11-17 17:21 1.9M [   ] matita_0.5.6.orig.tar.gz 2008-12-01 19:16 3.7M [   ] matita_0.5.7.orig.tar.gz 2009-02-15 16:11 3.5M [   ] matita_0.5.9_amd64.deb 2014-12-23 11:13 6.7M [   ] matita_0.99.1.orig.tar.gz 2011-11-30 13:05 2.5M
Apache/2.4.57 (Debian) Server at matita.cs.unibo.it Port 80