History

shenleban tongying a6eedafb78 bump: :lang coq ProofGeneral/PG@2145c23f44 -> ProofGeneral/PG@df19c7ba0e		2022-02-23 17:46:56 +01:00
..
config.el	fix(coq): disable spinner by default	2021-09-11 18:47:47 +02:00
packages.el	bump: :lang coq	2022-02-23 17:46:56 +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.