Blob Blame History Raw
This is the Fedora coq-xemacs package, which includes an XEmacs elisp file for
interacting with Coq and editing Coq .v files.