awesome-emacs/doomemacs
1
0
Fork 0
mirror of https://github.com/doomemacs/doomemacs synced 2025-08-17 13:33:36 -05:00
Code Issues Packages Projects Releases Wiki Activity
Files
f9e9c27a8b6d79e109a1106bf0412979c90cd006
doomemacs/modules/lang/coq/config.el
Henrik Lissner 7533707e00 fix(coq): file-missing generic/proof-site error 
To work around shenanigans in proof-general's autoloads. Should be
reverted once ProofGeneral/PG#771 is resolved.

Fix: #8169
Ref: ProofGeneral/PG#771
2024-11-19 04:40:42 -05:00

3.5 KiB
Raw Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink