summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* app-emacs: drop xgqt (myself) from maintainersMaciej Barć2022-03-081-4/+0
* app-emacs/company-coq: add company-coq-mode hook to coq-modeMaciej Barć2022-03-072-0/+3
* app-emacs/company-coq: add proofgeneral runtime dependencyMaciej Barć2022-03-071-2/+5
* app-emacs/company-coq: update metadata - add longdescriptionMaciej Barć2022-03-061-0/+8
* app-emacs/company-coq: new package; add 1.0.1_p20210708Maciej Barć2022-03-065-0/+75