]>
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-- | 371 | bottombar.shtml | blob | history | raw |
-rw-r--r-- | 389 | community.shtml | blob | history | raw |
-rw-r--r-- | 1308 | developers.shtml | blob | history | raw |
-rw-r--r-- | 396 | documentation.shtml | blob | history | raw |
-rw-r--r-- | 734 | download.shtml | blob | history | raw |
drwxr-xr-x | - | images | tree | history |
lrwxrwxrwx | 12 | index.shtml -> matita.shtml | blob | history | raw |
-rw-r--r-- | 34979 | matita.png | blob | history | raw |
-rw-r--r-- | 2391 | matita.shtml | blob | history | raw |
-rw-r--r-- | 120842 | matita.xcf | blob | history | raw |
-rw-r--r-- | 323 | menubar.shtml | blob | history | raw |
-rw-r--r-- | 1337 | style.css | blob | history | raw |
-rw-r--r-- | 205 | xhtml-header.shtml | blob | history | raw |