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: 0.4.95@7852~1666
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=cce0f0c88fbecfd47f8affbab771bddd6b528332;p=helm.git

added snapshot of the coq exportation metadata
---

diff --git a/metadata/dumps/README b/metadata/dumps/README
new file mode 100644
index 000000000..e38d54856
--- /dev/null
+++ b/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/metadata/dumps/matita_dump_1139256508.gz b/metadata/dumps/matita_dump_1139256508.gz
new file mode 100644
index 000000000..6b9871227
Binary files /dev/null and b/metadata/dumps/matita_dump_1139256508.gz differ