emenel/doomemacs
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
doomemacs/modules/lang/coq
History
Henrik Lissner 5718e4e96e
bump: :lang 
Andersbakken/rtags@05117a9a29 -> Andersbakken/rtags@bd1c818a99
FStarLang/fstar-mode.el@7d353de892 -> FStarLang/fstar-mode.el@6e5d3ea858
JuliaEditorSupport/julia-emacs@2dfc869ff6 -> JuliaEditorSupport/julia-emacs@d360ad5285
ProofGeneral/PG@a38857a6a0 -> ProofGeneral/PG@99f91e873e
Raku/raku-mode@977b14a7c1 -> Raku/raku-mode@14f9b9bba0
Wilfred/pip-requirements.el@216cd1690f -> Wilfred/pip-requirements.el@31e0dc62ab
Wilfred/pyimport@c006a5fd0e -> Wilfred/pyimport@4398ce8dd6
ananthakumaran/exunit.el@e008c89e01 -> ananthakumaran/exunit.el@ee06b14b61
beancount/beancount-mode@546163fd2c -> beancount/beancount-mode@71c1622246
cybniv/poetry.el@ca2cffb0b1 -> cybniv/poetry.el@1dff0d4a51
davazp/graphql-mode@49a391b529 -> davazp/graphql-mode@ef4aecaead
dgutov/robe@4ecd868da9 -> dgutov/robe@6bc8a07fc4
diml/utop@8cc5632825 -> diml/utop@384b3098c8
dominikh/go-mode.el@6f4ff9ef87 -> dominikh/go-mode.el@636d36e37a
emacs-lsp/emacs-ccls@9b4a47e041 -> emacs-lsp/emacs-ccls@8648238a92
emacs-lsp/lsp-dart@f51c80f545 -> emacs-lsp/lsp-dart@1f52e81c93
emacs-lsp/lsp-haskell@89d1637043 -> emacs-lsp/lsp-haskell@18a7c7881f
emacs-lsp/lsp-java@c962a3b3ac -> emacs-lsp/lsp-java@4909c14b90
emacs-lsp/lsp-metals@e55d544996 -> emacs-lsp/lsp-metals@fa4072cbe7
emacs-lsp/lsp-pyright@2f2631ae24 -> emacs-lsp/lsp-pyright@cc6df06aea
emacs-lsp/lsp-sourcekit@1cd5e7d269 -> emacs-lsp/lsp-sourcekit@bb2b7e0278
emacs-lsp/lsp-treemacs@e54e74deb8 -> emacs-lsp/lsp-treemacs@1d43e9e030
emacs-php/composer.el@91945f1bdb -> emacs-php/composer.el@42cf9848d4
emacs-php/php-mode@a0bcafbe30 -> emacs-php/php-mode@4792988a12
emacs-php/phpactor.el@8733fef84b -> emacs-php/phpactor.el@6b5269ff82
emacs-php/psysh.el@c7dde979d9 -> emacs-php/psysh.el@ae15a36301
emacs-straight/adaptive-wrap@70005d2012 -> emacs-straight/adaptive-wrap@a3b179ea21
emacs-straight/auctex@86b2397abd -> emacs-straight/auctex@280cd4a0ca
emacs-straight/csv-mode@81c1a9febd -> emacs-straight/csv-mode@cdb73a771b
emacs-straight/sml-mode@e5354371f3 -> emacs-straight/sml-mode@d114e5a27f
emacsorphanage/dart-mode@dffc0209a1 -> emacsorphanage/dart-mode@44beb628e5
erlang/otp@0ca7e064f5 -> erlang/otp@2a64588d4a
factor/factor@12fc9d5071 -> factor/factor@d143007778
fosskers/sly-overlay@916b50297a -> fosskers/sly-overlay@4c6135c260
fsharp/emacs-fsharp-mode@b4d31c3da0 -> fsharp/emacs-fsharp-mode@677d78c4d6
gcv/julia-snail@a25ce84748 -> gcv/julia-snail@f7784c5007
godotengine/emacs-gdscript-mode@8a28276daa -> godotengine/emacs-gdscript-mode@32086df833
greghendershott/racket-mode@d3ab936af1 -> greghendershott/racket-mode@40ecb87f40
haskell/haskell-mode@43b4036bf0 -> haskell/haskell-mode@727f72a2a4
hhvm/hack-mode@278e4cc403 -> hhvm/hack-mode@ccf20511f0
idris-hackers/idris-mode@37c6b81990 -> idris-hackers/idris-mode@38dd2380dc
joaotavora/sly@ed17d2c2bd -> joaotavora/sly@ba40c8f054
jrblevin/markdown-mode@e096bb97a9 -> jrblevin/markdown-mode@8aab017f47
json-emacs/json-mode@bfd1557aaa -> json-emacs/json-mode@77125b01c0
jwiegley/emacs-async@d040f72cb0 -> jwiegley/emacs-async@cff2bd0be3
ledger/ledger-mode@11e748d483 -> ledger/ledger-mode@b0e65f74a5
ljos/jq-mode@37028e1200 -> ljos/jq-mode@a0f79eba78
nonsequitur/inf-ruby@dac615c7fd -> nonsequitur/inf-ruby@0cfe8b2fb1
ocaml-ppx/ocamlformat@b8b0956690 -> ocaml-ppx/ocamlformat@c43f89bc0e
ocaml/dune@64d19876ad -> ocaml/dune@aac3d84f1d
ocaml/merlin@8404f96693 -> ocaml/merlin@b6ff2d4d56
pythonic-emacs/anaconda-mode@efd42aa873 -> pythonic-emacs/anaconda-mode@79fa9b4d2b
pythonic-emacs/company-anaconda@dabc0adc9a -> pythonic-emacs/company-anaconda@1fe526163c
pythonic-emacs/pyenv-mode@c93dc07e85 -> pythonic-emacs/pyenv-mode@de0d750b9c
rust-lang/rust-mode@d8a09f218e -> rust-lang/rust-mode@d00d83d3a2
salmanebah/opencl-mode@15091eff92 -> salmanebah/opencl-mode@10ae7742d5
seagle0128/grip-mode@e145adb225 -> seagle0128/grip-mode@7c42b8f61d
smihica/emmet-mode@63b6932603 -> smihica/emmet-mode@322d3bb112
swift-emacs/swift-mode@84059659de -> swift-emacs/swift-mode@b06c97b909
technomancy/fennel-mode@5965c8fc69 -> technomancy/fennel-mode@a4ddd1750f
tpapp/julia-repl@4947319bc9 -> tpapp/julia-repl@801d0fc3d8
wbolster/emacs-python-pytest@bdfb3e81ee -> wbolster/emacs-python-pytest@9f850e22df
yoshiki/yaml-mode@5b58248ab2 -> yoshiki/yaml-mode@7b5ce294fb
2024-06-26 22:58:01 -04:00
..
config.el fix(coq): inhibit indent detection 2024-02-02 03:33:53 -05:00
packages.el bump: :lang 2024-06-26 22:58:01 -04:00
README.org docs(*): replace all-the-icons with nerd-icons 2023-09-16 20:19:11 +02:00

README.org

:lang coq

Description   unfold

This module adds coq support, powered by Proof General.

Maintainers

This module has no dedicated maintainers. Become a maintainer?

Module flags

This module has no flags.

Packages

Hacks

  • Replaces coq-mode abbrevs with yasnippet snippets from doom's snippet library

TODO Changelog

This module does not have a changelog yet.

Installation

  • Enable this module in your doom! block.
  • To use the completion features of company-coq you need to enable (:completion company)
  • Make sure you have Coq installed and that the coqtop command is available. This comes with a standard installation of Coq. You can use your linux distribution's Coq package or one of the methods given on the Coq website.

TODO Usage

󱌣 This module has no usage documentation yet. Write some?

Configuration

This module provides no additional configuration over that of the /emenel/doomemacs/src/commit/67a516cf0dbc15bff66359031a724f1d60e5f0c6/modules/lang/coq/Packages it loads

Troubleshooting

See related github issues There are no known problems with this module. Report one?

Frequently asked questions

This module has no FAQs yet. Ask one?

TODO Appendix

󱌣 This module has no appendix yet. Write one?