]>
drwxr-xr-x | .. | ||
-rw-r--r-- | 1428 | Makefile | blob | history | raw |
-rw-r--r-- | 373 | TODO | blob | history | raw |
-rw-r--r-- | 1009 | legal.xml | blob | history | raw |
-rw-r--r-- | 285 | matita-fo.xsl | blob | history | raw |
-rw-r--r-- | 571 | matita-tex.xsl | blob | history | raw |
-rw-r--r-- | 339 | matita-xhtml.xsl | blob | history | raw |
-rw-r--r-- | 6757 | matita.xml | blob | history | raw |
-rw-r--r-- | 209 | sec_commands.xml | blob | history | raw |
-rw-r--r-- | 9581 | sec_gettingstarted.xml | blob | history | raw |
-rw-r--r-- | 12043 | sec_install.xml | blob | history | raw |
-rw-r--r-- | 4069 | sec_intro.xml | blob | history | raw |
-rw-r--r-- | 206 | sec_tacticals.xml | blob | history | raw |
-rw-r--r-- | 47452 | sec_tactics.xml | blob | history | raw |
-rw-r--r-- | 22860 | sec_terms.xml | blob | history | raw |
-rw-r--r-- | 224 | sec_usernotation.xml | blob | history | raw |
-rw-r--r-- | 17 | version.txt.in | blob | history | raw |
-rw-r--r-- | 61877 | xhtml1-transitional.dtd | blob | history | raw |