]>
-rw-r--r-- | 32 | .cvsignore | blob | raw |
-rw-r--r-- | 64 | .htaccess | blob | raw |
-rw-r--r-- | 368 | Makefile | blob | raw |
-rw-r--r-- | 393 | bg.png | blob | raw |
-rw-r--r-- | 119 | community.html | blob | raw |
-rw-r--r-- | 461 | developers.html | blob | raw |
-rw-r--r-- | 123 | documentation.html | blob | raw |
-rw-r--r-- | 118 | download.html | blob | raw |
-rw-r--r-- | 2284 | matita.html | blob | raw |
-rw-r--r-- | 34975 | matita.png | blob | raw |
-rw-r--r-- | 120842 | matita.xcf | blob | raw |