[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