History

Henrik Lissner cd206ad1c7 bump: :lang coq ProofGeneral/PG@e2b4227e1f -> ProofGeneral/PG@2145c23f44 Fix: #5742		2021-11-20 00:55:24 +01:00
..
config.el	fix(coq): disable spinner by default	2021-09-11 18:47:47 +02:00
packages.el	bump: :lang coq	2021-11-20 00:55:24 +01: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.