| Name | Last modified | Size | Description |
|
| Parent Directory | | - | |
| matita_0.4.98-1.patch-basis | 2007-11-25 21:12 | 9 | |
| matita_0.4.98-2.patch-basis | 2007-11-26 21:11 | 9 | |
| matita_0.4.98-3.patch-basis | 2007-11-27 21:13 | 9 | |
| matita_0.4.98-4.patch-basis | 2007-12-08 21:12 | 9 | |
| matita_0.4.98-5.patch-basis | 2007-12-11 21:13 | 9 | |
| matita_0.4.98-7.patch-basis | 2008-03-04 10:14 | 9 | |
| matita_0.5.0~rc1-1.patch-basis | 2008-05-01 23:15 | 9 | |
| matita_0.5.0-1.patch-basis | 2008-05-10 22:16 | 12 | |
| matita_0.5.1-1.patch-basis | 2008-05-30 13:45 | 8 | |
| matita_0.5.2-1.patch-basis | 2008-07-02 22:22 | 8 | |
| matita_0.5.3-1.patch-basis | 2008-07-24 10:15 | 8 | |
| matita_0.5.4-1.patch-basis | 2008-11-01 14:15 | 8 | |
| matita_0.5.5-1.patch-basis | 2008-11-17 21:18 | 8 | |
| matita_0.5.5-2.patch-basis | 2008-11-28 22:24 | 8 | |
| matita_0.5.6-1.patch-basis | 2008-12-02 10:22 | 8 | |
| matita_0.5.7-1.patch-basis | 2009-02-15 23:33 | 8 | |
| matita_0.5.7-2.patch-basis | 2009-03-21 05:21 | 8 | |
| matita_0.5.8-1.patch-basis | 2009-12-02 11:29 | 8 | |
| matita_0.5.8-1.patch.bz2 | 2009-12-02 11:29 | 2.2M | |
| matita_0.5.8-2.patch-basis | 2009-12-05 05:32 | 8 | |
| matita_0.5.8-2.patch.bz2 | 2009-12-05 05:32 | 608 | |
| matita_0.5.8-3.patch-basis | 2011-05-31 17:19 | 8 | |
| matita_0.5.8-3.patch.bz2 | 2011-05-31 17:19 | 16K | |
| matita_0.5.8-4.patch-basis | 2012-04-01 16:10 | 8 | |
| matita_0.5.8-4.patch.bz2 | 2012-04-01 16:10 | 17K | |
| matita_0.99.1-1.patch-basis | 2012-05-22 00:20 | 8 | |
| matita_0.99.1-1.patch.bz2 | 2012-05-22 00:20 | 3.9M | |
| matita_0.99.1-2.patch-basis | 2013-10-02 15:35 | 9 | |
| matita_0.99.1-2.patch.bz2 | 2013-10-02 15:35 | 564 | |
| matita_0.99.1-3.patch-basis | 2013-12-11 11:37 | 9 | |
| matita_0.99.1-3.patch.bz2 | 2013-12-11 11:37 | 7.5K | |
| matita_0.99.3-1.patch-basis | 2016-05-25 11:45 | 9 | |
| matita_0.99.3-1.patch.bz2 | 2016-05-25 11:45 | 3.5M | |
| patches.xml | 2016-05-25 12:02 | 2.9K | |
|