]> matita.cs.unibo.it Git - helm.git/blob - metadata/dumps/README
- transcript: patched to generate CoRN_notation.ma instead of CoRN.ma
[helm.git] / 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