]> matita.cs.unibo.it Git - helm.git/commit
maction, mpadded and mstyle added to documentation
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 27 Jan 2009 15:13:53 +0000 (15:13 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 27 Jan 2009 15:13:53 +0000 (15:13 +0000)
commit04133d1b68fbde1fada8fe793eea265e8849af8d
treefa7122f19a1fcf4f16fbb9e5dd58b3fa74d051d0
parentccac4e720ff2a9bee8e1c9d5ba1ea6474db72572
maction, mpadded and mstyle added to documentation
helm/software/matita/dist/ChangeLog
helm/software/matita/help/C/sec_usernotation.xml