]> 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)
commitf90f8c9a11c19b882a8fbe4aea6bf46f7751c2f1
tree31989bfc6531b58a09a6b819c081447f69022113
parent667818e2e343670ba27316a496a43f5e0d89400a
First skeleton of documentation for "other commands".
matita/help/C/matita.xml
matita/help/C/sec_commands.xml
matita/help/C/sec_terms.xml
matita/help/C/sec_usernotation.xml