]>
drwxr-xr-x | .. | ||
-rw-r--r-- | 399 | 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-- | 428 | 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-- | 120842 | matita.xcf | blob | history | raw |