]>
-rw-r--r-- | 1293 | Makefile | blob | raw |
-rw-r--r-- | 373 | TODO | blob | raw |
-rw-r--r-- | 5479 | declarative_tactics_quickref.xml | blob | raw |
-rw-r--r-- | 646 | docbook.css | blob | raw |
drwxr-xr-x | - | figures | tree |
-rw-r--r-- | 1047 | legal.xml | blob | raw |
-rw-r--r-- | 8316 | matita.xml | blob | raw |
drwxr-xr-x | - | scripts | tree |
-rw-r--r-- | 23379 | sec_commands.xml | blob | raw |
-rw-r--r-- | 16498 | sec_declarative_tactics.xml | blob | raw |
-rw-r--r-- | 7159 | sec_gettingstarted.xml | blob | raw |
-rw-r--r-- | 23880 | sec_install.xml | blob | raw |
-rw-r--r-- | 4069 | sec_intro.xml | blob | raw |
-rw-r--r-- | 149 | sec_license.xml | blob | raw |
-rw-r--r-- | 11962 | sec_tacticals.xml | blob | raw |
-rw-r--r-- | 63199 | sec_tactics.xml | blob | raw |
-rw-r--r-- | 33544 | sec_terms.xml | blob | raw |
-rw-r--r-- | 20627 | sec_usernotation.xml | blob | raw |
-rw-r--r-- | 151 | tactic_quickref.xml | blob | raw |
-rw-r--r-- | 13020 | tactics_quickref.xml | blob | raw |
-rw-r--r-- | 17 | version.txt.in | blob | raw |
-rw-r--r-- | 61877 | xhtml1-transitional.dtd | blob | raw |
drwxr-xr-x | - | xsl | tree |