diff options
| author | tslil clingman <> | 2021-10-06 11:14:46 -0400 |
|---|---|---|
| committer | tslil clingman <> | 2021-10-06 11:14:46 -0400 |
| commit | b9c97907eb26ebab6c6462bbf76480420458f44b (patch) | |
| tree | cf11e914013c9122918ac6759a8c84a4da67a4da /emacs | |
| parent | c543bc11f37bf2c5199612961f6d43c704e20f9a (diff) | |
| parent | 51ea063e7de59a7539aa08eb4609fe9434663ebf (diff) | |
Merge branch 'master' of git.sr.ht:~tslil/dotfiles
Diffstat (limited to 'emacs')
| -rw-r--r-- | emacs/inits/25-theorems.el | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/emacs/inits/25-theorems.el b/emacs/inits/25-theorems.el index 990f758..b87b0ed 100644 --- a/emacs/inits/25-theorems.el +++ b/emacs/inits/25-theorems.el @@ -1,4 +1,4 @@ -;; Time-stamp: <2020-04-04 09:04:22 (tslil@bison)> +;; Time-stamp: <2021-09-29 21h40 EDT (bison)> ;; ----------------------------------------------------------------------------- ;; Coq @@ -127,17 +127,17 @@ :hook (coq-mode . (lambda () (programming-setup) (coq-local-environment) - (auto-fill-mode) - (company-coq-mode)))) + ;; (company-coq-mode) + (auto-fill-mode)))) -(use-package company-coq - :after proof-general - :ensure t - :bind (:map company-coq-map - ("M-." . xref-find-references) - ("M-*" . pop-tag-mark)) - :init - (setq company-coq-disabled-features '(hello))) +;; (use-package company-coq +;; :after proof-general +;; :ensure t +;; :bind (:map company-coq-map +;; ("M-." . xref-find-references) +;; ("M-*" . pop-tag-mark)) +;; :init +;; (setq company-coq-disabled-features '(hello))) ;; ----------------------------------------------------------------------------- ;; Agda |