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
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