[coq/f15/master] Forgot the README files.

Jerry James jjames at fedoraproject.org
Fri Apr 1 20:39:03 UTC 2011


commit 7c56d89987e7c43f4ae88e7b6e8de1d5b5b30a18
Author: Jerry James <loganjerry at gmail.com>
Date:   Fri Apr 1 14:38:47 2011 -0600

    Forgot the README files.

 README.coq-emacs  |    3 ++-
 README.coq-xemacs |    2 ++
 2 files changed, 4 insertions(+), 1 deletions(-)
---
diff --git a/README.coq-emacs b/README.coq-emacs
index a9ccdca..6ec8509 100644
--- a/README.coq-emacs
+++ b/README.coq-emacs
@@ -1 +1,2 @@
-This is the Fedora coq-emacs package, which includes an emacs elisp file for usage with editing Coq .v files.
\ No newline at end of file
+This is the Fedora coq-emacs package, which includes a GNU Emacs elisp file for
+interacting with Coq and editing Coq .v files.
diff --git a/README.coq-xemacs b/README.coq-xemacs
new file mode 100644
index 0000000..c2b4deb
--- /dev/null
+++ b/README.coq-xemacs
@@ -0,0 +1,2 @@
+This is the Fedora coq-xemacs package, which includes an XEmacs elisp file for
+interacting with Coq and editing Coq .v files.


More information about the scm-commits mailing list