mirror of
https://github.com/doomemacs/doomemacs
synced 2025-08-01 12:17:25 -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