]>
drwxr-xr-x | .. | ||
-rw-r--r-- | 677 | Makefile | blob | history | raw |
-rw-r--r-- | 1009 | legal.xml | blob | history | raw |
-rw-r--r-- | 5411 | matita.xml | blob | history | raw |
-rw-r--r-- | 12137 | sec_install.xml | blob | history | raw |
-rw-r--r-- | 296 | sec_intro.xml | blob | history | raw |
-rw-r--r-- | 44943 | sec_tactics.xml | blob | history | raw |
-rw-r--r-- | 600 | sec_terms.xml | blob | history | raw |
-rwxr-xr-x | 6710 | split.ml | blob | history | raw |
-rw-r--r-- | 17 | version.txt.in | blob | history | raw |
-rw-r--r-- | 61877 | xhtml1-transitional.dtd | blob | history | raw |