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.

Filter by
Sorted by
Tagged with
11 votes
1 answer
107 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 ...
user avatar
  • 497