Dumps of the Matita database containing rows regarding the Coq exportation.

The recommended way to create the dumps is the following:

  mysqldump --no-create-info --extended-insert matita | gzip -c > matita_dump_`date +%s`.gz

Tue, 14 Feb 2006 13:36:16 -0500 zack