]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 41a5376) | patch
typo fixed: simmetry ==> symmetry
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 14 Jun 2005 08:18:18 +0000 (08:18 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 14 Jun 2005 08:18:18 +0000 (08:18 +0000)
commit78263f105973a87f80d5e9246e133a86fe4fe5fb
tree7e20092cabd5eb43d629c5b1578bae1c24908e8dtree | snapshot
parent41a53763963ddaa2bb4af0e1b922525bb9fad84ecommit | diff
typo fixed: simmetry ==> symmetry
helm/matita/matita.lang diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.