]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c792b3d) | patch
include
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 4 Jul 2005 12:21:00 +0000 (12:21 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 4 Jul 2005 12:21:00 +0000 (12:21 +0000)
commitce1f4abf56632f8fef8368073d3f6728cf2655c1
tree1db6e6440585a79ef2683d49cadb1b175b607b9atree | snapshot
parentc792b3d48316f63cd1066b5901cf859496d71052commit | diff
include
helm/matita/matita.lang diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.