]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7b83798) | patch
written install section up to build requirements
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 7 Feb 2006 17:31:38 +0000 (17:31 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 7 Feb 2006 17:31:38 +0000 (17:31 +0000)
commit7c40deb45b8c897c14641a0f5000b1aa03ff6386
treee0284c3ae0eb26c843b511f19663e92496bfc34btree | snapshot
parent7b83798d68b4ccd05f0b9604d969a0b547bef402commit | diff
written install section up to build requirements
matita/help/C/matita.xml diff | blob | history
matita/help/C/sec_install.xml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.