]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 94c9255) | patch
More complete bootstrapper.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 28 Jun 2005 16:12:15 +0000 (16:12 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 28 Jun 2005 16:12:15 +0000 (16:12 +0000)
commit2937563e3cfbdccec504dc99b26d64e0b5301c7c
treeb3fa704e531185e6fe80204cf4cc05f2ea772baatree | snapshot
parent94c9255e1f3095440f4d49ea1d75443a5a343185commit | diff
More complete bootstrapper.
helm/matita/matitatop.bootstrap diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.