Stream: Coq users

Topic: proof-general in emacs from a local copy

view this post on Zulip Heime (May 03 2024 at 22:45):

I want to use "Proof General" in emacs. After installing emacs, there was no .emocs file, so I made one. What commands should I put ?

Currently I just have

(require 'proof-general)

I am not using the quick installation instructions using the package archives, but have saved the source code locally. And want to use the .emacs files to make the package available in emacs.

view this post on Zulip Huỳnh Trần Khanh (May 04 2024 at 01:36):

view this post on Zulip Pierre Courtieu (May 04 2024 at 13:31):

Yes. Just load the generic/proof-site.el file and it should be ok.

Last updated: Jun 23 2024 at 05:02 UTC