]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d5360f7) | patch
added snapshot of the coq exportation metadata
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 14 Feb 2006 18:38:45 +0000 (18:38 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 14 Feb 2006 18:38:45 +0000 (18:38 +0000)
commitf5d883e793e11d42e2d6aa9cc16f5ea02aa84818
treee59c4309e65e5b90188e6cb79db524cf27f96a43tree | snapshot
parentd5360f7080b817b0fd215da9e1b3f13a82283c93commit | diff
added snapshot of the coq exportation metadata
helm/software/metadata/dumps/README [new file with mode: 0644] blob
helm/software/metadata/dumps/matita_dump_1139256508.gz [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.