]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 668fb31) | patch
...
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 6 May 2010 15:52:38 +0000 (15:52 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 6 May 2010 15:52:38 +0000 (15:52 +0000)
commit3b6ca0e12de74ada4da4a3500a0cbffaa260c9e1
tree31b3d5ea31b2207bf9f09f6c31b5038c37e94293tree | snapshot
parent668fb315dc8502dc1b4d336eba19ab9436bf5b7acommit | diff
...
helm/software/matita/nlibrary/PTS/subst.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.