]> matita.cs.unibo.it Git - helm.git/commit
More TODO items in the documentation.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 11 Jul 2006 13:09:36 +0000 (13:09 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 11 Jul 2006 13:09:36 +0000 (13:09 +0000)
commitd75baa041cdbffe32948b649ffb49af6a0093a1b
tree9f07f57c196a593d87ce226566288a94551fda03
parentb0bbbe6ec20a0afa145c1e6d92530105d9d4d7e3
More TODO items in the documentation.
helm/software/matita/help/C/sec_install.xml