]> matita.cs.unibo.it Git - helm.git/commit
From article to book
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 8 Feb 2006 16:36:39 +0000 (16:36 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 8 Feb 2006 16:36:39 +0000 (16:36 +0000)
commit325729c3635f6693078078aab34f26aa49ae1c62
tree92b6f5321f0f538833fc05b9703690d60e7ea582
parent62d556ff7763f5d452661e127f6e77b351dfef1c
From article to book
matita/help/C/matita.xml
matita/help/C/sec_install.xml
matita/help/C/sec_intro.xml
matita/help/C/sec_tactics.xml
matita/help/C/sec_terms.xml