]>
drwxr-xr-x | .. | ||
-rw-r--r-- | 64 | .htaccess | blob | history | raw |
-rw-r--r-- | 368 | Makefile | blob | history | raw |
-rw-r--r-- | 394 | bg.png | blob | history | raw |
-rw-r--r-- | 878 | community.html | blob | history | raw |
-rw-r--r-- | 1822 | developers.html | blob | history | raw |
-rw-r--r-- | 882 | documentation.html | blob | history | raw |
-rw-r--r-- | 877 | download.html | blob | history | raw |
lrwxrwxrwx | 11 | index.html -> matita.html | blob | history | raw |
-rw-r--r-- | 2299 | matita.html | blob | history | raw |
-rw-r--r-- | 34979 | matita.png | blob | history | raw |
-rw-r--r-- | 120842 | matita.xcf | blob | history | raw |