branch: elpa/proof-general
commit 0e84b2bdd0c3f32680a956cf83e24c805eddeca8
Author: Andreas Roehler <andreas.roeh...@online.de>
Commit: Andreas Roehler <andreas.roeh...@online.de>
#795, Compiler warnings: wrong usage of unescaped single quotes
coq/coq-db.el:31:11: Warning: defconst ‘coq-syntax-db’ docstring has wrong
usage of unescaped single quotes
fixed
---
coq/coq-db.el | 10 +++++-----
1 file changed, 5 insertions(+), 5 deletions(-)
diff --git a/coq/coq-db.el b/coq/coq-db.el
index 6e79e95f3b..680292d161 100644
--- a/coq/coq-db.el
+++ b/coq/coq-db.el
@@ -65,7 +65,7 @@ menu but only in interactive completions.
Example of what could be in your emacs init file:
\(defvar coq-user-tactics-db
- '(
+ \\='(
(\"mytac\" \"mt\" \"mytac # #\" t \"mytac\")
(\"myassert by\" \"massb\" \"myassert ( # : # ) by #\" t \"assert\")
))
@@ -354,19 +354,19 @@ See `coq-syntax-db' for DB structure."
(defconst coq-solve-tactics-face 'coq-solve-tactics-face
"Expression that evaluates to a face.
-Required so that 'coq-solve-tactics-face is a proper facename")
+Required so that \\='coq-solve-tactics-face is a proper facename")
(defconst coq-cheat-face 'coq-cheat-face
"Expression that evaluates to a face.
-Required so that 'coq-cheat-face is a proper facename")
+Required so that \\='coq-cheat-face is a proper facename")
(defconst coq-symbol-binder-face 'coq-symbol-binder-face
"Expression that evaluates to a face.
-Required so that 'coq-symbol-binder-face is a proper facename")
+Required so that \\='coq-symbol-binder-face is a proper facename")
(defconst coq-symbol-face 'coq-symbol-face
"Expression that evaluates to a face.
-Required so that 'coq-symbol-binder-face is a proper facename")
+Required so that \\='coq-symbol-binder-face is a proper facename")
(defconst coq-question-mark-face 'coq-question-mark-face)
