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