From 51ea063e7de59a7539aa08eb4609fe9434663ebf Mon Sep 17 00:00:00 2001
From: tslil clingman <>
Date: Wed, 29 Sep 2021 21:40:30 -0400
Subject: Don't use company!

---
 emacs/inits/25-theorems.el | 22 +++++++++++-----------
 1 file changed, 11 insertions(+), 11 deletions(-)

(limited to 'emacs')

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
-- 
cgit v1.2.3