Makefile: use -f when doing git pull for baked-in branch
pull baked-in branch automatically if correct coq version not found
have Makefile check for coq 8.3pl2-tracer
add examples targets to Makefile
use the $(MAKE) variable so -j2 works
separate CoqPass.hs from All.v in Makefile
fill in lots of missing proofs
fix Makefile bug
add extra targets to Makefile
lots of cleanup
add pushcheck
fix -dont-load-proofs option in Makefile
split Extraction.v so most can be compiled with -dont-load-proofs
add machinery to create merged Coq script GArrow.v
add coq-categories as a submodule
Makefile update
Makefile fixes: ignore emacs droppings
update push-url in Makefile
more Makefile updates
Makefile updates