]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a090beb) | patch
List of all URIS comprising:
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 1 May 2008 17:30:20 +0000 (17:30 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 1 May 2008 17:30:20 +0000 (17:30 +0000)
commit82d7e23a1835f1e6d26c9a8a085854f1c0a428fe
tree7e7ecd532762bbb5a0d4586036b650304ed81b7ctree | snapshot
parenta090beb987748d1a8d24e93c7e7c9662a3abe06dcommit | diff
List of all URIS comprising:
 - coq objects
 - matita standard library
 - all matita tests and matita contribs that compile today
helm/software/components/ng_kernel/alluris.txt diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.