]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 29c7deb) | patch
build temporary library in software/matita/.matita (instead of software/.matita)
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 8 Feb 2006 17:14:49 +0000 (17:14 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 8 Feb 2006 17:14:49 +0000 (17:14 +0000)
commit02501c06a67a9e0193e38c8fe95efe0ba237fc06
tree409b2ddff61d5869c7871531e79a88e2e33bff63tree | snapshot
parent29c7deb1aa7bf75dd7eaaaa08fc5629ecb476426commit | diff
build temporary library in software/matita/.matita (instead of software/.matita)
matita/matita.conf.xml.build.in diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.