]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b17f04c) | patch
...
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 31 Aug 2005 09:35:52 +0000 (09:35 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 31 Aug 2005 09:35:52 +0000 (09:35 +0000)
commit51bed67354ea5b083d398c147e37b462bad3fcd2
tree6e6d416fe8699e5797f9f0743331dc18db63a0b9tree | snapshot
parentb17f04ca2d984e6a26e4dad9d35b881f64566951commit | diff
...
helm/matita/matita.txt diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.