]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: df23acc) | patch
New: on-line help for declarative tactics (first version).
authormaiorino <??>
Tue, 14 Nov 2006 15:30:25 +0000 (15:30 +0000)
committermaiorino <??>
Tue, 14 Nov 2006 15:30:25 +0000 (15:30 +0000)
commit20b60553cce4dc729f58a078619207d82e94192f
treef495c8715451f48960864eb745b3e12c1b74d23ctree | snapshot
parentdf23acc7cd38047095f3920ce3a6054f545a039dcommit | diff
New: on-line help for declarative tactics (first version).
matita/help/C/Makefile diff | blob | history
matita/help/C/matita.xml diff | blob | history
matita/help/C/sec_declarative_tactics.xml [new file with mode: 0644] blob
matita/help/C/sec_terms.xml diff | blob | history
matita/help/C/tactic_quickref.xml diff | blob | history
matita/help/C/xsl/tactic_quickref.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.