emenel/doomemacs
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Added readme.

Browse source
This commit is contained in:
Patrick Elliott 2018-08-14 23:30:20 +02:00
parent fa223ceafd
commit 4280ea3418
No known key found for this signature in database
GPG key ID: 7CA109C3974AF5FA
1 changed files with 13 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

13
modules/lang/coq/README.org Normal file
View file

@ -0,0 +1,13 @@
#+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]].
* Install
Unfortunately, Proof General needs to be installed manually.
#+BEGIN_SRC sh
git clone https://github.com/ProofGeneral/PG $PG-LOC && cd $PG-LOC
make
#+END_SRC
Manually set the variable ~+coq-pg-loc~ to the value of $PG-LOC in your doom config.