]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ad82cd4) | 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)
commit25fe75a420e0dc1c9f9bc13cd57a9fad9bb25180
tree0d99c45910072f280ea9a4bff4566db3a76ddc14tree | snapshot
parentad82cd48e0083ff34cbde75b2aa46891e2c2893ccommit | diff
Patterns are now documented.
But: how do we do multiple selections in matita?
matita/help/C/matita.xml diff | blob | history
matita/help/C/sec_terms.xml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.