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

docs: use lowercase keywords

Browse source 
As per Org's new defaults, which we're adopting elsewhere, so may as
well adopt it here.
This commit is contained in:
Henrik Lissner 2022-03-28 15:03:21 +02:00
parent 9744946a66
commit e77a45bc22
No known key found for this signature in database
GPG key ID: B60957CA074D39A3
167 changed files with 665 additions and 664 deletions
Download patch file Download diff file Expand all files Collapse all files

8
modules/lang/coq/README.org
View file

@ -1,9 +1,9 @@
← [[doom-module-index:][Back to module index]] ! [[doom-module-issues:::lang coq][Issues]] ↖ [[doom-repo:tree/develop/modules/lang/coq/][Github]] ± [[doom-suggest-edit:][Suggest edits]] ? [[doom-help-modules:][Help]]
--------------------------------------------------------------------------------
#+TITLE: :lang coq
#+SUBTITLE: Proofs as programs
#+CREATED: August 14, 2018
#+SINCE: 21.12.0 (#804)
#+title: :lang coq
#+subtitle: Proofs as programs
#+created: August 14, 2018
#+since: 21.12.0 (#804)
* Description :unfold:
This module adds [[https://coq.inria.fr][coq]] support, powered by [[https://proofgeneral.github.io][Proof General]].