]> 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)
commit398fc6acced3d63a7dfa706fb11e7e8177576c7b
tree73f33fc88aa3c9e6ee1a47ae8e9d12f57b372461
parent8700a289dc58413cb0a44a51108b627aa5b3407e
Documentation of tinycals started.
helm/software/matita/help/C/matita.xml
helm/software/matita/help/C/sec_commands.xml
helm/software/matita/help/C/sec_tacticals.xml
helm/software/matita/help/C/tactic_quickref.xml
helm/software/matita/help/C/xsl/tactic_quickref.xsl