make_archive.sh 110 Bytes
Newer Older
1 2
ARCHIVE=iris-time-proofs.tar.gz
rm -f $ARCHIVE
3
tar -czvf $ARCHIVE README.md Makefile _CoqProject theories/*.v