metadata/dumps/README

   1 Dumps of the Matita database containing rows regarding the Coq exportation.
   2
   3 The recommended way to create the dumps is the following:
   4
   5   mysqldump --no-create-info --extended-insert matita | gzip -c > matita_dump_`date +%s`.gz
   6
   7 Tue, 14 Feb 2006 13:36:16 -0500 zack