]> matita.cs.unibo.it Git - helm.git/commitdiff
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)
helm/software/metadata/dumps/README [new file with mode: 0644]
helm/software/metadata/dumps/matita_dump_1139256508.gz [new file with mode: 0644]

diff --git a/helm/software/metadata/dumps/README b/helm/software/metadata/dumps/README
new file mode 100644 (file)
index 0000000..e38d548
--- /dev/null
@@ -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 (file)
index 0000000..6b98712
Binary files /dev/null and b/helm/software/metadata/dumps/matita_dump_1139256508.gz differ