]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 726f5e6) | patch
Ctr-C now cleans up (with a nice warning :-)
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 19 Jul 2006 10:04:02 +0000 (10:04 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 19 Jul 2006 10:04:02 +0000 (10:04 +0000)
commit872dbd15c8f6d10c2b9b46ad6f995bf494c23e65
tree618c6f3b67726e02e953b9da2f0a80444ac2dd5btree | snapshot
parent726f5e6ae2b5d7c7699bd9253936ad46558e6f38commit | diff
Ctr-C now cleans up (with a nice warning :-)
matita/matita.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.