]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b1bad32) | patch
coq repository is legacy
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 9 Jan 2006 13:54:29 +0000 (13:54 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 9 Jan 2006 13:54:29 +0000 (13:54 +0000)
commit8fab3129439ac3a3e4730d9743bd2019a4a20a88
treef2b3b4b3dbaa5a28a7065845a4c28b626a0fe369tree | snapshot
parentb1bad322d0daf6c25f95a82c4349f057a753ab7ccommit | diff
coq repository is legacy
helm/matita/matita.conf.xml.sample.in diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.