]>
drwxr-xr-x | .. | ||
-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 |