awesome-emacs/doomemacs
1
0
Fork 0
mirror of https://github.com/doomemacs/doomemacs synced 2025-09-18 16:06:56 -05:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #804 from patrl/coq

Browse Source 
DONE: add coq module
This commit is contained in:
Henrik Lissner
2018-08-18 23:48:34 +02:00
committed by GitHub
parent 33e0f9f11c 48c531e76c
commit 491088de4d
3 changed files with 13 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
modules/lang/coq/README.org Normal file
View File

@@ -0,0 +1,3 @@
#+TITLE: :lang coq
This module adds [[https://coq.inria.fr][coq]] support, powered by [[https://proofgeneral.github.io][Proof General]], with code completion via [[https://github.com/cpitclaudel/company-coq][company-coq]].

4
modules/lang/coq/autoload.el Normal file
View File

@@ -0,0 +1,4 @@
;;; lang/coq/autoload.el -*- lexical-binding: t; -*-
;;;###autoload
(add-hook 'coq-mode-hook #'company-coq-mode)

6
modules/lang/coq/packages.el Normal file
View File

@@ -0,0 +1,6 @@
;; -*- no-byte-compile: t; -*-
;;; lang/coq/packages.el
(package! proof-general :recipe (:fetcher github :repo "ProofGeneral/PG" :files ("*")))
(package! company-coq)