History

Henrik Lissner aa460786b6 Bump :lang coq ProofGeneral/PG@4f6b602 -> ProofGeneral/PG@0fdb1ae		2020-10-19 01:18:53 -04:00
..
config.el	General, minor refactor & reformatting	2020-03-27 01:25:30 -04:00
packages.el	Bump :lang coq	2020-10-19 01:18:53 -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.