]> matita.cs.unibo.it Git - helm.git/commit
added doc for compose
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 6 Jun 2007 09:07:33 +0000 (09:07 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 6 Jun 2007 09:07:33 +0000 (09:07 +0000)
commit89b9f4b66e50d828a37818a29ed2fd3e87477ed7
tree5550aaf271bf2cd7da9c4f0065a563da3bf93c73
parent32e29e1be132c4f9453787a194314ed57aa18538
added doc for compose
helm/software/matita/help/C/sec_tactics.xml
helm/software/matita/help/C/tactics_quickref.xml