]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6b0d25b) | patch
$(H) added :)
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 24 Feb 2008 19:29:44 +0000 (19:29 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 24 Feb 2008 19:29:44 +0000 (19:29 +0000)
commit8da8820a77f2104dd1bf17c01fa77f75ee31c8fb
treed9a7d2206d02fb714f2d49e09541d794151848detree | snapshot
parent6b0d25ba11c8c989674e0d9092fd79dc56b8b1c0commit | diff
$(H) added :)
helm/software/matita/contribs/LAMBDA-TYPES/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.