mirrors/doomemacs
1
Fork 0
mirror of https://github.com/doomemacs/doomemacs.git synced 2026-01-03 07:42:17 -08:00
Code Issues Projects Releases Wiki Activity
doomemacs/modules/lang/coq
History
Henrik Lissner 8a5ffc32f5
Bump to ProofGeneral/PG@2a17093 
From ProofGeneral/PG@89829c2

Also removes pg-init hacks, as they no longer seem necessary after
ProofGeneral/PG@7371521

Hopefully fixes #2565
2020-02-20 16:55:19 -05:00
..
config.el Bump to ProofGeneral/PG@2a17093 2020-02-20 16:55:19 -05:00
packages.el Bump to ProofGeneral/PG@2a17093 2020-02-20 16:55:19 -05:00
README.org Move emacs-snippets -> doom-snippets 2019-07-14 17:05:48 +02:00

README.org

:lang coq

This module adds coq support, powered by Proof General.