]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7c40deb) | patch
added instructions (some gaps still to be filled in, notably: ./configure
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 7 Feb 2006 17:54:41 +0000 (17:54 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 7 Feb 2006 17:54:41 +0000 (17:54 +0000)
commit2462b1e4da42c76932f52de9b37aa96cc9a5e4e0
tree7d8835fe82838a4ad5c5f77058284b4cdbe7d374tree | snapshot
parent7c40deb45b8c897c14641a0f5000b1aa03ff6386commit | diff
added instructions (some gaps still to be filled in, notably: ./configure
parameters and instructions on how to create the mysql database)
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.