Questions tagged [emacs]
Emacs is an extensible and customizable text editor with support for different file types including proof scripts. Use this tag for questions about the use of Emacs or Emacs modes in proof assistants and theorem proving.
1
question
13
votes
1
answer
261
views
How do I turn off the aggressive auto-indent in Proof General/Coq
I have installed Proof General via Doom Emacs' coq module, keeping most settings as whatever default that module sets. Sometimes the automatic indentation this ...
- 648