projects / helm.git / tree
| drwxr-xr-x | .. | ||
| -rw-r--r-- | 19783 | matita-ex.pdf | blob | history | raw |
| -rw-r--r-- | 133590 | matita-tut.pdf | blob | history | raw |
| -rw-r--r-- | 2126362 | matita_0.5.0.orig.tar.gz | blob | history | raw |
| -rw-r--r-- | 1917721 | matita_0.5.1.orig.tar.gz | blob | history | raw |
| -rw-r--r-- | 1923611 | matita_0.5.2.orig.tar.gz | blob | history | raw |
| -rw-r--r-- | 1933149 | matita_0.5.3.orig.tar.gz | blob | history | raw |
| -rw-r--r-- | 1986045 | matita_0.5.4.orig.tar.gz | blob | history | raw |
| -rw-r--r-- | 2008994 | matita_0.5.5.orig.tar.gz | blob | history | raw |
| -rw-r--r-- | 3873237 | matita_0.5.6.orig.tar.gz | blob | history | raw |
| -rw-r--r-- | 3645283 | matita_0.5.7.orig.tar.gz | blob | history | raw |