]> matita.cs.unibo.it Git - helm.git/tree - helm/www/matita/
better wording of a sentence
[helm.git] / helm / www / matita /
drwxr-xr-x   ..
-rw-r--r-- 64 .htaccess
-rw-r--r-- 1248 Makefile
-rw-r--r-- 476 bottombar.shtml
-rw-r--r-- 214 bugzilla.css
-rw-r--r-- 1694 community.shtml
-rw-r--r-- 1728 development.shtml
-rw-r--r-- 1352 documentation.shtml
-rw-r--r-- 1558 download.shtml
drwxr-xr-x - images
lrwxrwxrwx 12 index.shtml -> matita.shtml
-rw-r--r-- 3516 matita.shtml
-rw-r--r-- 454 menubar.shtml
-rw-r--r-- 232 news.shtml
drwxr-xr-x - sources
-rw-r--r-- 2397 splash.shtml
-rw-r--r-- 2344 style.css
-rw-r--r-- 221 xhtml-header.shtml
-rw-r--r-- 76 xhtml-meta.shtml
drwxr-xr-x - xml
drwxr-xr-x - xsl