Add support for Coq .v files (based on the OCaml parser).
[ohcount] / src / loc.c
2009-05-17  mitchellInitial import of C source code.