]> 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)
commit6073f0bd6760d393f229d1b61a91bf9b64af2f09
tree03af1802014aace6d6614f860dab95ffadc1f8b2
parent43d3607afd27248d8df1bca20908307330a3871a
From article to book
helm/software/matita/help/C/matita.xml
helm/software/matita/help/C/sec_install.xml
helm/software/matita/help/C/sec_intro.xml
helm/software/matita/help/C/sec_tactics.xml
helm/software/matita/help/C/sec_terms.xml