]> matita.cs.unibo.it Git - helm.git/tree - helm/www/matita/
use server-side include
[helm.git] / helm / www / matita /
drwxr-xr-x   ..
-rw-r--r-- 64 .htaccess
-rw-r--r-- 368 Makefile
-rw-r--r-- 394 bg.png
-rw-r--r-- 371 bottombar.shtml
-rw-r--r-- 389 community.shtml
-rw-r--r-- 1308 developers.shtml
-rw-r--r-- 396 documentation.shtml
-rw-r--r-- 734 download.shtml
drwxr-xr-x - images
lrwxrwxrwx 12 index.shtml -> matita.shtml
-rw-r--r-- 34979 matita.png
-rw-r--r-- 2391 matita.shtml
-rw-r--r-- 120842 matita.xcf
-rw-r--r-- 323 menubar.shtml
-rw-r--r-- 1337 style.css
-rw-r--r-- 205 xhtml-header.shtml