[coq] snippets
Merge branch 'master' of github.com:chrisbarrett/dot-emacs

Conflicts:
	snippets/coq-mode/Check
	snippets/coq-mode/Proof