History

Tej Chajed 80b2071670 fix(coq): disable spinner by default 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).		2021-09-11 18:47:47 +02:00
..
config.el	fix(coq): disable spinner by default	2021-09-11 18:47:47 +02:00
packages.el	Bump :lang	2021-07-11 17:52:08 -04:00
README.org	Move emacs-snippets -> doom-snippets	2019-07-14 17:05:48 +02:00

:lang coq

This module adds coq support, powered by Proof General.