]>
-rw-r--r-- | 64 | .htaccess | blob | raw |
drwxr-xr-x | - | DEBIAN | tree |
drwxr-xr-x | - | FILES | tree |
-rw-r--r-- | 1484 | Makefile | blob | raw |
drwxr-xr-x | - | PAPERS | tree |
-rw-r--r-- | 476 | bottombar.shtml | blob | raw |
-rw-r--r-- | 214 | bugzilla.css | blob | raw |
drwxr-xr-x | - | cgi-bin | tree |
-rw-r--r-- | 1717 | community.shtml | blob | raw |
-rw-r--r-- | 1761 | development.shtml | blob | raw |
drwxr-xr-x | - | docs | tree |
-rw-r--r-- | 2308 | documentation.shtml | blob | raw |
-rw-r--r-- | 2868 | download.shtml | blob | raw |
drwxr-xr-x | - | flags | tree |
-rw-r--r-- | 1002 | grafite-format.css | blob | raw |
-rw-r--r-- | 4915 | grafite.hrc | blob | raw |
-rw-r--r-- | 781 | helm-proto.hrc | blob | raw |
drwxr-xr-x | - | images | tree |
lrwxrwxrwx | 12 | index.shtml -> matita.shtml | blob | raw |
-rw-r--r-- | 3609 | library.shtml | blob | raw |
-rw-r--r-- | 4215 | matita.shtml | blob | raw |
-rw-r--r-- | 4528 | matita_it.shtml | blob | raw |
-rw-r--r-- | 583 | menubar.shtml | blob | raw |
-rw-r--r-- | 642 | menubar_it.shtml | blob | raw |
-rw-r--r-- | 2555 | navy.css | blob | raw |
-rw-r--r-- | 1583 | news.shtml | blob | raw |
-rw-r--r-- | 1065 | news_it.shtml | blob | raw |
-rw-r--r-- | 10282 | papers.shtml | blob | raw |
-rw-r--r-- | 2397 | splash.shtml | blob | raw |
-rw-r--r-- | 3415 | style.css | blob | raw |
-rw-r--r-- | 1425 | theses.shtml | blob | raw |
-rw-r--r-- | 221 | xhtml-header.shtml | blob | raw |
-rw-r--r-- | 76 | xhtml-meta.shtml | blob | raw |
drwxr-xr-x | - | xml | tree |
drwxr-xr-x | - | xsl | tree |