doomemacs/modules/lang/coq/packages.el

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

(package! proof-general)

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

Proof-general is now on melpa 2018-09-06 01:29:01 +02:00			`(package! proof-general)`
Added quelpa recipe 2018-08-15 08:33:38 +02:00
Only make company features conditional 2018-08-27 12:57:07 +02:00			`(package! company-coq)`