]> matita.cs.unibo.it Git - helm.git/commit
Documentation of tinycals started.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 30 Jun 2006 16:39:28 +0000 (16:39 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 30 Jun 2006 16:39:28 +0000 (16:39 +0000)
commitbf0b308923fbe96bdd4bd8ee0f4495958211ab6f
tree7a2bb617f4ca37982b636494804038e459877dd4
parent2702434e5d6385b792e17218f473803e44177a3d
Documentation of tinycals started.
matita/help/C/matita.xml
matita/help/C/sec_commands.xml
matita/help/C/sec_tacticals.xml
matita/help/C/tactic_quickref.xml
matita/help/C/xsl/tactic_quickref.xsl