&引用；符号'；s值作为变量为void“；打开emacs时向coqtop添加路径时

我正在尝试使用proof generale运行emacs来打开Coq文件。但是，当我打开emacs时，会收到以下错误消息：

Symbol's value as variable is void: “/Users/myusername/.opam/default/bin/coqtop”

我的emacs文件如下：

(setq coq-prog-name “/Users/username/.opam/default/bin/coqtop”)

(require 'package) ;; (setq gnutls-algorithm-priority "NORMAL:-VERS-TLS1.3") ; see remark below (add-to-list 'package-archives '("melpa" . "https://melpa.org/packages/") t) (package-initialize)

(custom-set-variables  ;; custom-set-variables was added by Custom.  ;; If you edit it by hand, you could mess it up, so be careful.  ;; Your init file should contain only one such instance.  ;; If there is more than one, they won't work right.  '(package-selected-packages '(proof-general))) (custom-set-faces  ;; custom-set-faces was added by Custom.  ;; If you edit it by hand, you could mess it up, so be careful.  ;; Your init file should contain only one such instance.  ;; If there is more than one, they won't work right.  )

---

关于如何使我的emacs与coqtop一起工作，有什么建议吗？

emacs将“/Users/myusername/.opam/default/bin/coqtop”视为一个符号，因为它是一个普通字符序列。它不是以（ASCII）双引号开头，而是以字符

“

开头，以字符

”

结尾。它们是非ASCII左引号和右引号。使用ASCII引号

“

，这是Emacs Lisp（和许多其他编程语言）中的字符串分隔符

---

不要使用插入“智能引号”的文字处理器和其他用于人类阅读文本的功能编辑源代码。编辑Emacs配置的最佳位置是Emacs本身。Emacs知道您正在编辑的文件类型，不会在编程模式下进行此类替换（除非您特意将其配置为这样做，在这种情况下，请不要这样做）。

Emacs将

“/Users/myusername/.opam/default/bin/coqtop”视为一个符号，因为它是一个普通字符序列。它不是以（ASCII）双引号开头，而是以字符
开头“
并以字符
”
结尾。它们不是ASCII左引号和右引号。请使用ASCII引号
“
，这是Emacs Lisp（和许多其他编程语言）中的字符串分隔符

不要使用插入“智能引号”的文字处理器和其他用于人类阅读文本的功能编辑源代码。编辑Emacs配置的最佳位置是Emacs本身。Emacs知道您正在编辑的文件类型，不会在编程模式下进行此类替换（除非您特意配置了它，在这种情况下，请不要这样做）。
这解决了问题，谢谢。我没有注意到差异。这解决了问题，谢谢。我没有注意到差异。
(setq coq-prog-name "/Users/username/.opam/default/bin/coqtop")