]> matita.cs.unibo.it Git - helm.git/tree - helm/www/matita/
- natural numbers with infinity for lambdadelta
[helm.git] / helm / www / matita /
drwxr-xr-x   ..
-rw-r--r-- 64 .htaccess
drwxr-xr-x - CLUSTERCS
drwxr-xr-x - DEBIAN
drwxr-xr-x - FILES
-rw-r--r-- 2239 Makefile
drwxr-xr-x - PAPERS
drwxr-xr-x - UBUNTU_HARDY
drwxr-xr-x - UBUNTU_INTREPID
-rw-r--r-- 476 bottombar.shtml
-rw-r--r-- 214 bugzilla.css
drwxr-xr-x - cgi-bin
-rw-r--r-- 953 community.shtml
-rw-r--r-- 1829 development.shtml
drwxr-xr-x - docs
-rw-r--r-- 3089 documentation.shtml
-rw-r--r-- 5163 download.shtml
drwxr-xr-x - flags
-rw-r--r-- 1002 grafite-format.css
-rw-r--r-- 4915 grafite.hrc
-rw-r--r-- 781 helm-proto.hrc
drwxr-xr-x - images
lrwxrwxrwx 12 index.shtml -> matita.shtml
-rw-r--r-- 9309 library.shtml
-rw-r--r-- 2863 matita.shtml
-rw-r--r-- 3112 matita_it.shtml
-rw-r--r-- 1889 matitaweb.shtml
-rw-r--r-- 638 menubar.shtml
-rw-r--r-- 642 menubar_it.shtml
-rw-r--r-- 2555 navy.css
-rw-r--r-- 3322 news.shtml
lrwxrwxrwx 10 news_it.shtml -> news.shtml
-rw-r--r-- 19335 papers.shtml
-rw-r--r-- 2397 splash.shtml
-rw-r--r-- 3468 style.css
-rw-r--r-- 1425 theses.shtml
-rw-r--r-- 221 xhtml-header.shtml
-rw-r--r-- 76 xhtml-meta.shtml
drwxr-xr-x - xml
drwxr-xr-x - xsl