]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 46f89a8) | patch
I do not understand at all why Enrico removed the contribs from the bench!
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 10 Oct 2006 13:09:35 +0000 (13:09 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 10 Oct 2006 13:09:35 +0000 (13:09 +0000)
commitdcd7c1a413c38bce8fc80198d660fd4dba4094e9
treef976af31b77e54558a9802b3a4a3fe3696ad3632tree | snapshot
parent46f89a89b444b0f1e6b25773c59127ccfbe07d0ecommit | diff
I do not understand at all why Enrico removed the contribs from the bench!
matita/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.