]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6668928) | 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)
commit9a800d34db8d95ca8737066505deec5d7a4e9496
tree1899cd1138aee360f7a9b8ddbaf687d8788fba45tree | snapshot
parent6668928408fea93c7d1b955a839f7bae1af6b8f2commit | diff
written install section up to build requirements
helm/software/matita/help/C/matita.xml diff | blob | history
helm/software/matita/help/C/sec_install.xml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.