]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0553811) | patch
added generation of quick reference card of tactic syntax
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 13 Jun 2006 14:18:33 +0000 (14:18 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 13 Jun 2006 14:18:33 +0000 (14:18 +0000)
commit935a53fb77f36e5d90a2a59fa500744001e9d780
treeeccf05c7eb154b1593f0497f18b5f1decb816175tree | snapshot
parent05538113ccb6d6f05eb0e5ddee6f1640d0c96764commit | diff
added generation of quick reference card of tactic syntax
matita/help/C/Makefile diff | blob | history
matita/help/C/matita-fo.xsl [deleted file] blob | history
matita/help/C/matita-tex.xsl [deleted file] blob | history
matita/help/C/matita-xhtml.xsl [deleted file] blob | history
matita/help/C/matita.xml diff | blob | history
matita/help/C/sec_tactics.xml diff | blob | history
matita/help/C/tactic_quickref.xml [new file with mode: 0644] blob
matita/help/C/xsl/matita-fo.xsl [new file with mode: 0644] blob
matita/help/C/xsl/matita-tex.xsl [new file with mode: 0644] blob
matita/help/C/xsl/matita-xhtml.xsl [new file with mode: 0644] blob
matita/help/C/xsl/tactic_quickref.xsl [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.