Index of /FILES

 Name                           Last modified      Size  Description
 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