]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9a800d3) | 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)
commit3c34684e4003335b9a73eb9d75872938c43600af
tree70f1dbd7c7869ecbbdc28fc35b6196b00ce19e2btree | snapshot
parent9a800d34db8d95ca8737066505deec5d7a4e9496commit | diff
added instructions (some gaps still to be filled in, notably: ./configure
parameters and instructions on how to create the mysql database)
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.