]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8f146da) | patch
dump_moo added
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 25 Oct 2005 12:53:55 +0000 (12:53 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 25 Oct 2005 12:53:55 +0000 (12:53 +0000)
commitf3ae21edf39f33e4e9af1fafa1d2cde119d5cdc6
tree445b4bc8f3e062355b9cd6569ed96c45f492086ftree | snapshot
parent8f146da4ab463bbc6a202bed267a1ae6e5dcd0c0commit | diff
dump_moo added
helm/matita/.cvsignore diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.