mirror of
https://github.com/doomemacs/doomemacs
synced 2025-08-03 12:27:26 -05:00
80b2071670
This was disabled upstream in
7423ee2539
due to a serious performance impact on some systems (even if the spinner
isn't visible in the modeline).
:lang coq
This module adds coq support, powered by Proof General.
- Code completion (company-coq)
- Snippets