log src/coq/Makefile

age author description
2011-11-30 Adam Chlipala Update Coq semantics for 8.3pl2