]> matita.cs.unibo.it Git - helm.git/commit
For release 0.99.1.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 18 Nov 2011 14:31:39 +0000 (14:31 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 18 Nov 2011 14:31:39 +0000 (14:31 +0000)
commit8f699ab265e380a2d1ab7dba0ee5e8ba5556a84a
tree92aea6de7fbd0bc6c378919d1d0f2883ed0bd777
parentddc80515997a3f56085c6234d4db326141e189aa
For release 0.99.1.
matita/matita/help/C/declarative_tactics_quickref.xml
matita/matita/help/C/sec_commands.xml
matita/matita/help/C/sec_declarative_tactics.xml
matita/matita/help/C/sec_gettingstarted.xml
matita/matita/help/C/sec_install.xml
matita/matita/help/C/sec_intro.xml
matita/matita/help/C/sec_tactics.xml
matita/matita/help/C/sec_terms.xml