]> matita.cs.unibo.it Git - helm.git/commit
First skeleton of documentation for "other commands".
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 12 Jul 2006 13:13:26 +0000 (13:13 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 12 Jul 2006 13:13:26 +0000 (13:13 +0000)
commitade543268430b595a7aef9fd14c19e2b1d22770d
tree19363a6efa7950f03ef8db0dd64c13d680b63309
parent82183b138d009e90a2d3381eb84bab6f46dbc728
First skeleton of documentation for "other commands".
helm/software/matita/help/C/matita.xml
helm/software/matita/help/C/sec_commands.xml
helm/software/matita/help/C/sec_terms.xml
helm/software/matita/help/C/sec_usernotation.xml