]> matita.cs.unibo.it Git - helm.git/tree - matita/matita/help/C/
Progress
[helm.git] / matita / matita / help / C /
drwxr-xr-x   ..
-rw-r--r-- 1293 Makefile
-rw-r--r-- 373 TODO
-rw-r--r-- 139 declarative_tactics_quickref.xml
-rw-r--r-- 646 docbook.css
drwxr-xr-x - figures
-rw-r--r-- 1047 legal.xml
-rw-r--r-- 8292 matita.xml
drwxr-xr-x - scripts
-rw-r--r-- 30112 sec_commands.xml
-rw-r--r-- 16507 sec_declarative_tactics.xml
-rw-r--r-- 7170 sec_gettingstarted.xml
-rw-r--r-- 24026 sec_install.xml
-rw-r--r-- 4211 sec_intro.xml
-rw-r--r-- 149 sec_license.xml
-rw-r--r-- 11962 sec_tacticals.xml
-rw-r--r-- 38339 sec_tactics.xml
-rw-r--r-- 36544 sec_terms.xml
-rw-r--r-- 20627 sec_usernotation.xml
-rw-r--r-- 151 tactic_quickref.xml
-rw-r--r-- 6273 tactics_quickref.xml
-rw-r--r-- 17 version.txt.in
-rw-r--r-- 61877 xhtml1-transitional.dtd
drwxr-xr-x - xsl