![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/script.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| 00dpatch.conf | 2008-11-28 22:24 | 50 | |
| manual.dpatch | 2008-11-28 22:24 | 3.5K | |
| matita.conf.xml.in.dpatch | 2008-11-28 22:24 | 1.6K | |
| native-compilers.dpatch | 2008-11-28 22:24 | 908 | |
| numbers.dpatch | 2008-11-28 22:24 | 1.0K | |