Heime (May 03 2024 at 22:45): 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.
Huỳnh Trần Khanh (May 04 2024 at 01:36):https://github.com/ProofGeneral/PG?tab=readme-ov-file#using-git-manual-compilation-procedure
Pierre Courtieu (May 04 2024 at 13:31):Yes. Just load the generic/proof-site.el file and it should be ok.
Last updated: Oct 13 2024 at 01:02 UTC