]> matita.cs.unibo.it Git - helm.git/tree - helm/www/matita/
wording
[helm.git] / helm / www / matita /
drwxr-xr-x   ..
-rw-r--r-- 64 .htaccess
-rw-r--r-- 403 Makefile
-rw-r--r-- 462 bottombar.shtml
-rw-r--r-- 214 bugzilla.css
-rw-r--r-- 768 community.shtml
-rw-r--r-- 1685 development.shtml
drwxr-xr-x - docs
-rw-r--r-- 901 documentation.shtml
-rw-r--r-- 1399 download.shtml
drwxr-xr-x - images
lrwxrwxrwx 12 index.shtml -> matita.shtml
-rw-r--r-- 1937 matita.shtml
-rw-r--r-- 326 menubar.shtml
drwxr-xr-x - sources
-rw-r--r-- 2398 splash.shtml
-rw-r--r-- 1983 style.css
-rw-r--r-- 205 xhtml-header.shtml
-rw-r--r-- 62 xhtml-meta.shtml