]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d420596) | patch
[a-z] syntax documented
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 9 Jun 2006 14:37:20 +0000 (14:37 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 9 Jun 2006 14:37:20 +0000 (14:37 +0000)
commit9efaf66294d18446b7cd960f9ed4203799073e62
treee3c6aead43e42ce118991a4037a1a3fe690efc75tree | snapshot
parentd42059631d57a1c2964240b9905b235e2a945fc1commit | diff
[a-z] syntax documented
helm/software/matita/help/C/sec_terms.xml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.