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