History

Henrik Lissner 99344edbe7 bump: :lang Andersbakken/rtags@ee1ab7b9a6 -> Andersbakken/rtags@05117a9a29 FStarLang/fstar-mode.el@ab0697b947 -> FStarLang/fstar-mode.el@7d353de892 Fanael/edit-indirect@f80f63822f -> Fanael/edit-indirect@82a28d8a85 ProofGeneral/PG@8416875696 -> ProofGeneral/PG@a38857a6a0 Sarcasm/irony-mode@870d1576fb -> Sarcasm/irony-mode@40e0ce19eb aaronjensen/flycheck-credo@e88f11ead5 -> aaronjensen/flycheck-credo@e285bd042a agda/agda@bb7603d197 -> agda/agda@fbf9d159c3 amake/flutter.el@edd3f5eb3f -> amake/flutter.el@004c91e070 ananthakumaran/exunit.el@e0a8c2b81f -> ananthakumaran/exunit.el@e008c89e01 ananthakumaran/tide@29475d9eee -> ananthakumaran/tide@b38dfc3f8f arthurnn/minitest-emacs@ddd152c990 -> arthurnn/minitest-emacs@5999c45c04 babashka/neil@40993873bb -> babashka/neil@a1db63d420 beancount/beancount-mode@0f1e33067e -> beancount/beancount-mode@546163fd2c borkdude/flycheck-clj-kondo@ff7bed2315 -> borkdude/flycheck-clj-kondo@9089ade9e0 cdominik/cdlatex@ac024ce293 -> cdominik/cdlatex@33770dec73 clojure-emacs/cider@120fd885d3 -> clojure-emacs/cider@aa26d62ac5 clojure-emacs/clj-refactor.el@0a2a6cbc2e -> clojure-emacs/clj-refactor.el@fa3efe18e7 clojure-emacs/clojure-mode@25d713a67d -> clojure-emacs/clojure-mode@222fdafa2a clojure-emacs/parseclj@74ff7d63fe -> clojure-emacs/parseclj@6af22372e0 clojure-emacs/parseedn@c8f07926a6 -> clojure-emacs/parseedn@3407e4530a crystal-lang-tools/emacs-crystal-mode@9bfb9f0f56 -> crystal-lang-tools/emacs-crystal-mode@ea89b108fa davazp/graphql-mode@1437b79006 -> davazp/graphql-mode@49a391b529 dgutov/robe@912ae2ba1f -> dgutov/robe@4ecd868da9 dominikh/go-mode.el@166dfb1e09 -> dominikh/go-mode.el@8dce1e3ba1 elixir-editors/emacs-elixir@7641373f05 -> elixir-editors/emacs-elixir@00d6580a04 emacs-geiser/geiser@49d12a1448 -> emacs-geiser/geiser@bb77719c25 emacs-geiser/guile@ee33af6b4e -> emacs-geiser/guile@6e0811c75d emacs-lsp/emacs-ccls@dd33da8ed7 -> emacs-lsp/emacs-ccls@9b4a47e041 emacs-lsp/lsp-dart@3db9f93c83 -> emacs-lsp/lsp-dart@e7ee6afc2e emacs-lsp/lsp-java@449673da72 -> emacs-lsp/lsp-java@c962a3b3ac emacs-php/composer.el@5af1707fef -> emacs-php/composer.el@91945f1bdb emacs-php/php-mode@fb11df8268 -> emacs-php/php-mode@a0bcafbe30 emacs-php/phpactor.el@9440005814 -> emacs-php/phpactor.el@8733fef84b emacs-php/psysh.el@796b26a5cd -> emacs-php/psysh.el@c7dde979d9 emacs-straight/adaptive-wrap@0d5b4a07de -> emacs-straight/adaptive-wrap@70005d2012 emacs-straight/auctex@3929d5408b -> emacs-straight/auctex@86b2397abd emacs-straight/csv-mode@d190a479b4 -> emacs-straight/csv-mode@81c1a9febd emacs-straight/rainbow-mode@8e96388fb4 -> emacs-straight/rainbow-mode@70ed10d410 emacs-straight/sml-mode@5426ff4738 -> emacs-straight/sml-mode@e5354371f3 emacsmirror/cmake-mode@f9c7a21254 -> emacsmirror/cmake-mode@b08b5d9045 emacsorphanage/dart-mode@9c846769ab -> emacsorphanage/dart-mode@dffc0209a1 erlang/otp@be7109f43b -> erlang/otp@0ca7e064f5 factor/factor@76ac65649d -> factor/factor@23fcfc7075 flycheck/flycheck-cask@4b2ede6362 -> flycheck/flycheck-cask@0eeec5197e fxbois/web-mode@57856ba64b -> fxbois/web-mode@82847071ce gcv/julia-snail@18b891b456 -> gcv/julia-snail@d36653bb93 gdkrmr/lsp-julia@c584f79c7f -> gdkrmr/lsp-julia@c869b2f6c0 godotengine/emacs-gdscript-mode@d392e8aa7e -> godotengine/emacs-gdscript-mode@8a28276daa greghendershott/racket-mode@947d9806ee -> greghendershott/racket-mode@d3ab936af1 haskell/haskell-mode@79eaf444a7 -> haskell/haskell-mode@43b4036bf0 hhvm/hack-mode@26f06ffe82 -> hhvm/hack-mode@278e4cc403 hvesalai/emacs-scala-mode@5d7cf21c37 -> hvesalai/emacs-scala-mode@4c6d636b86 idris-hackers/idris-mode@c96f45d1b8 -> idris-hackers/idris-mode@37c6b81990 immerrr/lua-mode@7eb8eaa420 -> immerrr/lua-mode@d074e4134b iyefrat/evil-tex@3e0a26b91a -> iyefrat/evil-tex@2a3177c818 jrblevin/markdown-mode@b1a862f016 -> jrblevin/markdown-mode@e096bb97a9 json-emacs/json-mode@eedb456003 -> json-emacs/json-mode@bfd1557aaa jwiegley/emacs-async@71cc50f27f -> jwiegley/emacs-async@d040f72cb0 ledger/ledger-mode@4b32f70173 -> ledger/ledger-mode@11e748d483 ljos/jq-mode@071c1c29ba -> ljos/jq-mode@37028e1200 nex3/haml-mode@fe83c65c1f -> nex3/haml-mode@a64d58df8f nlamirault/phpunit.el@4a36906344 -> nlamirault/phpunit.el@650a50898d nonsequitur/inf-ruby@03475ac1cc -> nonsequitur/inf-ruby@dac615c7fd ocaml-ppx/ocamlformat@7db948a894 -> ocaml-ppx/ocamlformat@b8b0956690 ocaml/dune@360b000271 -> ocaml/dune@64d19876ad pashky/restclient.el@0ba72816f9 -> pashky/restclient.el@e2a2b13482 psibi/dhall-mode@c77f1c1e75 -> psibi/dhall-mode@87ab69fe76 purescript-emacs/emacs-psci@9bb6a32532 -> purescript-emacs/emacs-psci@ef31045295 purescript-emacs/psc-ide-emacs@ce97d71945 -> purescript-emacs/psc-ide-emacs@4e614df553 s-kostyaev/go-gen-test@f84f4177af -> s-kostyaev/go-gen-test@af00a9abba seagle0128/grip-mode@5809fb62f6 -> seagle0128/grip-mode@e145adb225 senny/rbenv.el@2ea1a5bdc1 -> senny/rbenv.el@588b817d51 technomancy/fennel-mode@8f721285e1 -> technomancy/fennel-mode@5965c8fc69 tpapp/julia-repl@9503ef7110 -> tpapp/julia-repl@4947319bc9 weijiangan/flycheck-golangci-lint@8e446c6831 -> weijiangan/flycheck-golangci-lint@9def093e41 wwwjfy/emacs-fish@6869efbc05 -> wwwjfy/emacs-fish@2526b1803b yoshiki/yaml-mode@3fcb36d603 -> yoshiki/yaml-mode@5b58248ab2 Close: #7648		2024-05-21 17:16:40 +02:00
..
config.el	fix(coq): inhibit indent detection	2024-05-21 17:16:36 +02:00
packages.el	bump: :lang	2024-05-21 17:16:40 +02:00
README.org	docs(*): replace all-the-icons with nerd-icons	2024-05-21 17:16:13 +02:00

README.org

:lang coq

Description
- Maintainers
- Module flags
- Packages
- Hacks
- Changelog
Installation
Usage
Configuration
Troubleshooting
Frequently asked questions
Appendix

Description unfold

This module adds coq support, powered by Proof General.

Code completion (company-coq)
Snippets

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 /yogsototh/doom-emacs/src/branch/master/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?