|
| From: | John Soo |
| Subject: | bug#46016: broken Proof-General (emacs front-end to Coq) |
| Date: | Mon, 25 Jan 2021 07:14:23 -0800 |
| User-agent: | Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux) |
Hi zimoun! I'm sorry I forgot I had this line in init.el: (load-file "~/.guix-profile/share/emacs/site-lisp/site-start.d/pg-init.el") It does seem like proof general is misconfigured. Apologies. - John
| [Prev in Thread] | Current Thread | [Next in Thread] |