]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: aebd5af) | patch
Patterns are now documented.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 19 Jun 2006 17:21:47 +0000 (17:21 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 19 Jun 2006 17:21:47 +0000 (17:21 +0000)
commitf511e0dbbbc4c9a5d425076307c935062d78809d
tree3dd46d1478eead4901dd73b3a88c8b45f83384e0tree | snapshot
parentaebd5af5c7d3e422813159d81fde05b6a9778765commit | diff
Patterns are now documented.
But: how do we do multiple selections in matita?
helm/software/matita/help/C/matita.xml diff | blob | history
helm/software/matita/help/C/sec_terms.xml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.