时间戳

首页 > 解决方案 > 如何在 Mac 上为 Emacs 安装 Proof General？

emacs - 如何在 Mac 上为 Emacs 安装 Proof General？

问题描述

我是 Emacs 的新手，也许这就是问题所在，但我按照这里的说明进行操作：

https://github.com/ProofGeneral/PG

特别是在我将给定的行添加到我的.emacs文件之后，我做了（M是 alt/option 键）：

M-x package-refresh-contents RET

但我收到错误消息：

[no match]

出了什么问题？

也许这是我做错了什么，是什么：

 M-x package-refresh-contents RET followed by M-x package-install RET proof-general RET

意思是？

标签： emacscoqtheorem-proving

解决方案

这对我有用（TM）：

(require 'package)
(setq package-enable-at-startup nil)
(add-to-list 'package-archives
             '("melpa" . "https://melpa.org/packages/"))

(package-initialize)

;; Bootstrap use-package
(unless (package-installed-p 'use-package)
    (package-refresh-contents)
    (package-install 'use-package))

(use-package proof-general
  :no-require t
  :ensure t)

推荐阅读