]>
drwxr-xr-x | .. | ||
-rw-r--r-- | 315 | Makefile | blob | history | raw |
-rw-r--r-- | 1009 | legal.xml | blob | history | raw |
-rw-r--r-- | 5361 | matita.xml | blob | history | raw |
-rw-r--r-- | 7082 | sec_install.xml | blob | history | raw |
-rw-r--r-- | 292 | sec_intro.xml | blob | history | raw |
-rw-r--r-- | 6419 | sec_tactics.xml | blob | history | raw |
-rw-r--r-- | 544 | sec_terms.xml | blob | history | raw |
-rw-r--r-- | 17 | version.txt.in | blob | history | raw |