README.coq-emacs
This is the Fedora coq-emacs package, which includes a GNU Emacs elisp file for interacting with Coq and editing Coq .v files.