]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2851de1) | 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)
commit522d835109b6df16e1c082ae128c0e08677cbb1b
tree29700afc01e5cd573b47bdcb0642031baa8373d5tree | snapshot
parent2851de1130a59daee3776c3264dbd4d04d64d70bcommit | diff
added generation of quick reference card of tactic syntax
helm/software/matita/help/C/Makefile diff | blob | history
helm/software/matita/help/C/matita-fo.xsl [deleted file] blob | history
helm/software/matita/help/C/matita-tex.xsl [deleted file] blob | history
helm/software/matita/help/C/matita-xhtml.xsl [deleted file] blob | history
helm/software/matita/help/C/matita.xml diff | blob | history
helm/software/matita/help/C/sec_tactics.xml diff | blob | history
helm/software/matita/help/C/tactic_quickref.xml [new file with mode: 0644] blob
helm/software/matita/help/C/xsl/matita-fo.xsl [new file with mode: 0644] blob
helm/software/matita/help/C/xsl/matita-tex.xsl [new file with mode: 0644] blob
helm/software/matita/help/C/xsl/matita-xhtml.xsl [new file with mode: 0644] blob
helm/software/matita/help/C/xsl/tactic_quickref.xsl [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.