A Coq library for domain theory (http://rwd.rdockins.name/domains/)

root / mk_tar.sh

1
2
3
4
5
6
7
#!/bin/sh
mkdir -p domains
grep '\.v' Make | xargs -I '{}' cp '{}' domains/
cp -r html domains/ || echo "no html"
cp LICENSE README Make Makefile domains/
tar cfz domains.tar.gz domains/
rm -r domains