larstvei/emacs
1
1
Fork 0
mirror of https://github.com/larstvei/dot-emacs.git synced 2024-11-26 07:28:31 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

use-package company-coq

Browse Source
This commit is contained in:
larstvei 2023-06-11 22:18:00 +02:00
parent ba0e3ed58e
commit 68942cb458
1 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
init.org
View File

@ -207,8 +207,7 @@
(let* ((package--builtins nil) (let* ((package--builtins nil)
(packages (packages
'(company-coq ; A collection of extensions PG's Coq mode '(counsel ; Various completion functions using Ivy
counsel ; Various completion functions using Ivy
counsel-projectile ; Ivy integration for Projectile counsel-projectile ; Ivy integration for Projectile
dashboard ; A startup screen extracted from Spacemacs dashboard ; A startup screen extracted from Spacemacs
define-word ; display the definition of word at point define-word ; display the definition of word at point
@ -1470,7 +1469,9 @@
#+begin_src emacs-lisp #+begin_src emacs-lisp
(add-hook 'coq-mode-hook #'company-coq-mode) ;; A collection of extensions PG's Coq mode
(use-package company-coq
:hook (coq-mode . company-coq-mode))
#+end_src #+end_src