doomemacs/modules/lang/coq/packages.el

;; -*- no-byte-compile: t; -*-
;;; lang/coq/packages.el

(package! proof-general :recipe (:fetcher github :repo "ProofGeneral/PG" :files ("*")))

(when (featurep! :completion company)
  (package! company-coq))
Added basic coq support 2018-08-14 23:21:55 +02:00			`;; -- no-byte-compile: t; --`
			`;;; lang/coq/packages.el`

Added quelpa recipe 2018-08-15 08:33:38 +02:00			`(package! proof-general :recipe (:fetcher github :repo "ProofGeneral/PG" :files ("*")))`

Put company features behind conditional 2018-08-21 13:44:11 +02:00			`(when (featurep! :completion company)`
			`(package! company-coq))`