History

Henrik Lissner aa460786b6 Bump :lang coq ProofGeneral/PG@4f6b602 -> ProofGeneral/PG@0fdb1ae		2020-10-19 01:18:53 -04:00
..
config.el
packages.el	Bump :lang coq	2020-10-19 01:18:53 -04:00
README.org

:lang coq

This module adds coq support, powered by Proof General.