]>
drwxr-xr-x | .. | ||
-rw-r--r-- | 315 | 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-- | 9159 | sec_install.xml | blob | history | raw |
-rw-r--r-- | 292 | sec_intro.xml | blob | history | raw |
-rw-r--r-- | 8160 | sec_tactics.xml | blob | history | raw |
-rw-r--r-- | 552 | sec_terms.xml | blob | history | raw |
-rwxr-xr-x | 6091 | 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 |