]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1f982d1) | patch
Added header to all files.
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 20 Jan 2006 09:33:10 +0000 (09:33 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 20 Jan 2006 09:33:10 +0000 (09:33 +0000)
commitec42be5fc6710a19612fd9434f4844621596975a
treec5e2c967c27c4c5fd74d8ec6dd4fe1f9789fdaabtree | snapshot
parent1f982d1e1ac11be185291dfa57649246b182bbd0commit | diff
Added header to all files.
helm/matita_homepage/community.html diff | blob | history
helm/matita_homepage/documentation.html diff | blob | history
helm/matita_homepage/download.html diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.