主要参考https://wiki.ccs.neu.edu/display/~vkoutav/Coq-ProofGeneral-Emacs-Windows
文章中有些链接失效了
容易出错的地方说明下
%COQBIN%\coqtop.opt.exe -top "%COQTOP%" -emacs-U
在该目录下没有找到
coqtop.opt.exe
只有coqtop.exe
修改之
对于Run Emacs, open your .emacs file (C-X C-F ~/.emacs), and add the following two lines to it, 这一步
请搜索emacs.d文件夹,Win7和XP位置不同,在该文件夹下建立init.el文件,
init.el文件里填入
(defvar coq-prog-name "C:/Program Files/Coq/bin/coq-emacs.bat")
(load-......
阅读全文