]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d438330) | patch
Last daemon killed :-)
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 16 Jul 2007 16:10:40 +0000 (16:10 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 16 Jul 2007 16:10:40 +0000 (16:10 +0000)
commit2a5b8e5ca14aebf73dbd7532c1ac92ce9bcc895d
tree7502a855d640ffc85ef1f74428814870c5a26fc1tree | snapshot
parentd4383305e3d0fae68326d9f078b28d58b8e1f94acommit | diff
Last daemon killed :-)
helm/software/matita/library/assembly/test.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.