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