]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2f46121) | patch
Added header
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 20 Jan 2006 09:29:21 +0000 (09:29 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 20 Jan 2006 09:29:21 +0000 (09:29 +0000)
commit1f982d1e1ac11be185291dfa57649246b182bbd0
treea6d08b0039614088ecab351edb6a1661c56d030dtree | snapshot
parent2f4612192a325c06fbe36487fc7390f5600ccf33commit | diff
Added header
helm/matita_homepage/documentation.html diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.