From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Tue, 14 Feb 2006 18:38:45 +0000 (+0000)
Subject: added snapshot of the coq exportation metadata
X-Git-Tag: make_still_working~7568
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=f5d883e793e11d42e2d6aa9cc16f5ea02aa84818;p=helm.git

added snapshot of the coq exportation metadata
---

diff --git a/helm/software/metadata/dumps/README b/helm/software/metadata/dumps/README
new file mode 100644
index 000000000..e38d54856
--- /dev/null
+++ b/helm/software/metadata/dumps/README
@@ -0,0 +1,3 @@
+Dumps of the Matita database containing rows regarding the Coq exportation.
+
+Tue, 14 Feb 2006 13:36:16 -0500 zack
diff --git a/helm/software/metadata/dumps/matita_dump_1139256508.gz b/helm/software/metadata/dumps/matita_dump_1139256508.gz
new file mode 100644
index 000000000..6b9871227
Binary files /dev/null and b/helm/software/metadata/dumps/matita_dump_1139256508.gz differ