doomemacs/modules/lang/coq/packages.el

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

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

(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 ("*")))`

Only make company features conditional 2018-08-27 12:57:07 +02:00			`(package! company-coq)`