emenel/doomemacs
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
doomemacs/modules/lang/lean/packages.el

8 lines
240 B
EmacsLisp
Raw Normal View History

Add a module for the lean theorem prover Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
2019-09-07 02:18:51 +09:00
;; -*- no-byte-compile: t; -*-
;;; lang/lean/packages.el
bump: :lang Alexander-Miller/company-shell@a77f4de75912 -> Alexander-Miller/company-shell@5f959a63a6e6 Emacs-Kotlin-Mode-Maintainers/kotlin-mode@3e0c34087ba4 -> Emacs-Kotlin-Mode-Maintainers/kotlin-mode@fddd747e5b47 FStarLang/fstar-mode.el@c95c2a61a6c4 -> FStarLang/fstar-mode.el@ab0697b9474f Fuco1/sphinx-mode@9d4075c106fc -> Fuco1/sphinx-mode@77ca51adf9ee Groovy-Emacs-Modes/groovy-emacs-modes@bf732d367b16 -> Groovy-Emacs-Modes/groovy-emacs-modes@c612ac1e9f74 Khady/merlin-eldoc@db7fab1eddfe -> Khady/merlin-eldoc@bf8edc63d85b OVYA/php-cs-fixer@7e12a1af5d65 -> OVYA/php-cs-fixer@efe4368d891f ProofGeneral/PG@e1e29acb04f0 -> ProofGeneral/PG@8416875696cb Wilfred/elisp-def@dfca043ec0cb -> Wilfred/elisp-def@1d2e88a232ec agda/agda@b612cabaae94 -> agda/agda@bb7603d19781 amake/flutter.el@08138f8c9548 -> amake/flutter.el@edd3f5eb3f46 ananthakumaran/exunit.el@0715c2dc2dca -> ananthakumaran/exunit.el@e0a8c2b81f3d beancount/beancount-mode@ea8257881b7e -> beancount/beancount-mode@519bfd868f20 bradyt/dart-mode@3bac14200f9f -> bradyt/dart-mode@9c846769abd3 brantou/emacs-go-tag@59b243f2fa07 -> brantou/emacs-go-tag@33f2059551d5 cdominik/cdlatex@8e963c68531f -> cdominik/cdlatex@ac024ce29318 clojure-emacs/cider@92c1b6de2080 -> clojure-emacs/cider@1ed5163433c9 clojure-emacs/clj-refactor.el@db89b558710d -> clojure-emacs/clj-refactor.el@b5abe655e572 clojure-emacs/clojure-mode@414157c3e523 -> clojure-emacs/clojure-mode@3453cd229b41 cpitclaudel/company-coq@a6e349e0131f -> cpitclaudel/company-coq@5affe7a96a25 crystal-lang-tools/emacs-crystal-mode@96a8058205b2 -> crystal-lang-tools/emacs-crystal-mode@9bfb9f0f566e davazp/graphql-mode@9740e4027bd9 -> davazp/graphql-mode@1437b790060f diml/utop@bbd9a6ed45c8 -> diml/utop@ace481388a54 dominikh/go-mode.el@3273fcece5d9 -> dominikh/go-mode.el@166dfb1e0902 elixir-editors/emacs-elixir@e0d0466d83ec -> elixir-editors/emacs-elixir@7641373f0563 emacs-csharp/csharp-mode@856ecbc0a78a -> emacs-csharp/csharp-mode@02c61c219b2c emacs-ess/ESS@39eba283000a -> emacs-ess/ESS@8b4664e4a76a emacs-lsp/lsp-dart@fda433671f38 -> emacs-lsp/lsp-dart@3db9f93c8305 emacs-lsp/lsp-java@0968038b9aea -> emacs-lsp/lsp-java@dbe448a886e2 emacs-lsp/lsp-sourcekit@f877659babd3 -> emacs-lsp/lsp-sourcekit@468c641e3587 emacs-php/composer.el@7c7f89df226c -> emacs-php/composer.el@5af1707fefbd emacs-php/php-mode@5f26bec865ee -> emacs-php/php-mode@fb11df8268b7 emacs-php/phpactor.el@34195f153320 -> emacs-php/phpactor.el@9440005814c4 emacs-php/psysh.el@21250984ad81 -> emacs-php/psysh.el@796b26a5cd75 emacs-straight/auctex@830e40a0639a -> emacs-straight/auctex@3929d5408b1e emacs-straight/csv-mode@43f6106f0d4e -> emacs-straight/csv-mode@d190a479b4f3 emacs-straight/rainbow-mode@949166cc0146 -> emacs-straight/rainbow-mode@8e96388fb4d6 emacs-straight/sml-mode@0338e9729bce -> emacs-straight/sml-mode@5426ff473824 emacsmirror/auctex-latexmk@4d353522650d -> emacsmirror/auctex-latexmk@b00a95e6b34c emacsmirror/paredit@e4a67f4f23ba -> emacsmirror/paredit@9a2c4b37fc8c emacsorphanage/macrostep@424e3734a1ee -> emacsorphanage/macrostep@75ecd0412192 erlang/otp@9ba9f6e60da1 -> erlang/otp@be7109f43bee ethereum/emacs-solidity@20fb77e089e1 -> ethereum/emacs-solidity@ddb4a901c33b factor/factor@1aeafdb87bb8 -> factor/factor@76ac65649d61 fsharp/emacs-fsharp-mode@c1e58c61f9b5 -> fsharp/emacs-fsharp-mode@09fec6c91f9c fxbois/web-mode@efa853e5cfff -> fxbois/web-mode@df97ab62c948 godotengine/emacs-gdscript-mode@4badcf6a0c95 -> godotengine/emacs-gdscript-mode@d392e8aa7e7c greghendershott/racket-mode@af9b760e7bac -> greghendershott/racket-mode@947d9806ee27 hhvm/hack-mode@a522f61c088e -> hhvm/hack-mode@26f06ffe8257 idris-hackers/idris-mode@65d6db1b7574 -> idris-hackers/idris-mode@c96f45d1b8fa immerrr/lua-mode@5a9bee8d5fc9 -> immerrr/lua-mode@ad639c62e38a iyefrat/evil-tex@0fa85c3fc88d -> iyefrat/evil-tex@3e0a26b91a1a jcollard/elm-mode@d4e434fa1857 -> jcollard/elm-mode@5797500d74dd joaotavora/sly@4513c382f07a -> joaotavora/sly@fa70fc8ab1bc jorgenschaefer/emacs-buttercup@ceedad5efa79 -> jorgenschaefer/emacs-buttercup@07a52c996958 jrblevin/markdown-mode@1f709778ac79 -> jrblevin/markdown-mode@c765b73b370f jschaf/powershell.el@ce1f0ae0b2e4 -> jschaf/powershell.el@f2da15857e43 jwiegley/emacs-async@c78bab7506a7 -> jwiegley/emacs-async@71cc50f27ffc leanprover/lean-mode@c1c68cc946eb -> leanprover/lean-mode@362bc6fa3efb ledger/ledger-mode@b55384d9cd14 -> ledger/ledger-mode@4b32f701736b midnightSuyama/shader-mode@d7dc8d0d6fe8 -> midnightSuyama/shader-mode@fe5a1982ba69 necaris/conda.el@667968184e40 -> necaris/conda.el@28f51e49fd25 nlamirault/phpunit.el@fe6bc91c3bd8 -> nlamirault/phpunit.el@4a36906344c0 ocaml-ppx/ocamlformat@9cbd8150c28f -> ocaml-ppx/ocamlformat@1ad4bdba9e1f ocaml/dune@3df932f7f91e -> ocaml/dune@f5a5a9c17be6 ocaml/merlin@be753d941238 -> ocaml/merlin@306af713e268 ocaml/tuareg@ad8a688b7e2a -> ocaml/tuareg@53ce2fdfdd37 pashky/restclient.el@9e2cfa865291 -> pashky/restclient.el@0ba72816f92f polymode/polymode@2094c92403fe -> polymode/polymode@15b6c1e94a45 purcell/flycheck-package@615c1ed8c6fb -> purcell/flycheck-package@3a6aaed29ff6 purescript-emacs/purescript-mode@0acd1af44642 -> purescript-emacs/purescript-mode@cf113871f98d s-kostyaev/go-gen-test@35df36dcd555 -> s-kostyaev/go-gen-test@f84f4177af7f seagle0128/grip-mode@6d6ddbe0af39 -> seagle0128/grip-mode@5809fb62f6dd sebasmonia/sharper@96edd4a1dbc2 -> sebasmonia/sharper@496e90e337cb smihica/emmet-mode@6b2e554f7fd2 -> smihica/emmet-mode@63b693260318 swift-emacs/swift-mode@f4529efa453f -> swift-emacs/swift-mode@1244ee48de18 technomancy/fennel-mode@566435734946 -> technomancy/fennel-mode@52da9715b0d0 vspinu/company-math@45778f5731c9 -> vspinu/company-math@3eb006874e30 whirm/flycheck-kotlin@bf1b398bdde1 -> whirm/flycheck-kotlin@a2a6abb9a7f8 wwwjfy/emacs-fish@a7c953b1491a -> wwwjfy/emacs-fish@d04478c0aba0 xuchunyang/elisp-demos@01c301b516e9 -> xuchunyang/elisp-demos@792be709c821 yoshiki/yaml-mode@535273d5a1eb -> yoshiki/yaml-mode@3fcb36d6039b ziglang/zig-mode@aa20d630b8c4 -> ziglang/zig-mode@9c5e41d6a0a8
2023-02-21 19:32:39 -05:00
(package! lean-mode :pin "362bc6fa3efb1874c525ed6b4b6f24f76af22596")
Add a module for the lean theorem prover Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
2019-09-07 02:18:51 +09:00
refactor: deprecate featurep! for modulep! featurep! will be renamed modulep! in the future, so it's been deprecated. They have identical interfaces, and can be replaced without issue. featurep! was never quite the right name for this macro. It implied that it had some connection to featurep, which it doesn't (only that it was similar in purpose; still, Doom modules are not features). To undo such implications and be consistent with its namespace (and since we're heading into a storm of breaking changes with the v3 release anyway), now was the best opportunity to begin the transition.
2022-08-12 20:29:19 +02:00
(when (modulep! :completion company)
bump: :lang Alexander-Miller/company-shell@a77f4de75912 -> Alexander-Miller/company-shell@5f959a63a6e6 Emacs-Kotlin-Mode-Maintainers/kotlin-mode@3e0c34087ba4 -> Emacs-Kotlin-Mode-Maintainers/kotlin-mode@fddd747e5b47 FStarLang/fstar-mode.el@c95c2a61a6c4 -> FStarLang/fstar-mode.el@ab0697b9474f Fuco1/sphinx-mode@9d4075c106fc -> Fuco1/sphinx-mode@77ca51adf9ee Groovy-Emacs-Modes/groovy-emacs-modes@bf732d367b16 -> Groovy-Emacs-Modes/groovy-emacs-modes@c612ac1e9f74 Khady/merlin-eldoc@db7fab1eddfe -> Khady/merlin-eldoc@bf8edc63d85b OVYA/php-cs-fixer@7e12a1af5d65 -> OVYA/php-cs-fixer@efe4368d891f ProofGeneral/PG@e1e29acb04f0 -> ProofGeneral/PG@8416875696cb Wilfred/elisp-def@dfca043ec0cb -> Wilfred/elisp-def@1d2e88a232ec agda/agda@b612cabaae94 -> agda/agda@bb7603d19781 amake/flutter.el@08138f8c9548 -> amake/flutter.el@edd3f5eb3f46 ananthakumaran/exunit.el@0715c2dc2dca -> ananthakumaran/exunit.el@e0a8c2b81f3d beancount/beancount-mode@ea8257881b7e -> beancount/beancount-mode@519bfd868f20 bradyt/dart-mode@3bac14200f9f -> bradyt/dart-mode@9c846769abd3 brantou/emacs-go-tag@59b243f2fa07 -> brantou/emacs-go-tag@33f2059551d5 cdominik/cdlatex@8e963c68531f -> cdominik/cdlatex@ac024ce29318 clojure-emacs/cider@92c1b6de2080 -> clojure-emacs/cider@1ed5163433c9 clojure-emacs/clj-refactor.el@db89b558710d -> clojure-emacs/clj-refactor.el@b5abe655e572 clojure-emacs/clojure-mode@414157c3e523 -> clojure-emacs/clojure-mode@3453cd229b41 cpitclaudel/company-coq@a6e349e0131f -> cpitclaudel/company-coq@5affe7a96a25 crystal-lang-tools/emacs-crystal-mode@96a8058205b2 -> crystal-lang-tools/emacs-crystal-mode@9bfb9f0f566e davazp/graphql-mode@9740e4027bd9 -> davazp/graphql-mode@1437b790060f diml/utop@bbd9a6ed45c8 -> diml/utop@ace481388a54 dominikh/go-mode.el@3273fcece5d9 -> dominikh/go-mode.el@166dfb1e0902 elixir-editors/emacs-elixir@e0d0466d83ec -> elixir-editors/emacs-elixir@7641373f0563 emacs-csharp/csharp-mode@856ecbc0a78a -> emacs-csharp/csharp-mode@02c61c219b2c emacs-ess/ESS@39eba283000a -> emacs-ess/ESS@8b4664e4a76a emacs-lsp/lsp-dart@fda433671f38 -> emacs-lsp/lsp-dart@3db9f93c8305 emacs-lsp/lsp-java@0968038b9aea -> emacs-lsp/lsp-java@dbe448a886e2 emacs-lsp/lsp-sourcekit@f877659babd3 -> emacs-lsp/lsp-sourcekit@468c641e3587 emacs-php/composer.el@7c7f89df226c -> emacs-php/composer.el@5af1707fefbd emacs-php/php-mode@5f26bec865ee -> emacs-php/php-mode@fb11df8268b7 emacs-php/phpactor.el@34195f153320 -> emacs-php/phpactor.el@9440005814c4 emacs-php/psysh.el@21250984ad81 -> emacs-php/psysh.el@796b26a5cd75 emacs-straight/auctex@830e40a0639a -> emacs-straight/auctex@3929d5408b1e emacs-straight/csv-mode@43f6106f0d4e -> emacs-straight/csv-mode@d190a479b4f3 emacs-straight/rainbow-mode@949166cc0146 -> emacs-straight/rainbow-mode@8e96388fb4d6 emacs-straight/sml-mode@0338e9729bce -> emacs-straight/sml-mode@5426ff473824 emacsmirror/auctex-latexmk@4d353522650d -> emacsmirror/auctex-latexmk@b00a95e6b34c emacsmirror/paredit@e4a67f4f23ba -> emacsmirror/paredit@9a2c4b37fc8c emacsorphanage/macrostep@424e3734a1ee -> emacsorphanage/macrostep@75ecd0412192 erlang/otp@9ba9f6e60da1 -> erlang/otp@be7109f43bee ethereum/emacs-solidity@20fb77e089e1 -> ethereum/emacs-solidity@ddb4a901c33b factor/factor@1aeafdb87bb8 -> factor/factor@76ac65649d61 fsharp/emacs-fsharp-mode@c1e58c61f9b5 -> fsharp/emacs-fsharp-mode@09fec6c91f9c fxbois/web-mode@efa853e5cfff -> fxbois/web-mode@df97ab62c948 godotengine/emacs-gdscript-mode@4badcf6a0c95 -> godotengine/emacs-gdscript-mode@d392e8aa7e7c greghendershott/racket-mode@af9b760e7bac -> greghendershott/racket-mode@947d9806ee27 hhvm/hack-mode@a522f61c088e -> hhvm/hack-mode@26f06ffe8257 idris-hackers/idris-mode@65d6db1b7574 -> idris-hackers/idris-mode@c96f45d1b8fa immerrr/lua-mode@5a9bee8d5fc9 -> immerrr/lua-mode@ad639c62e38a iyefrat/evil-tex@0fa85c3fc88d -> iyefrat/evil-tex@3e0a26b91a1a jcollard/elm-mode@d4e434fa1857 -> jcollard/elm-mode@5797500d74dd joaotavora/sly@4513c382f07a -> joaotavora/sly@fa70fc8ab1bc jorgenschaefer/emacs-buttercup@ceedad5efa79 -> jorgenschaefer/emacs-buttercup@07a52c996958 jrblevin/markdown-mode@1f709778ac79 -> jrblevin/markdown-mode@c765b73b370f jschaf/powershell.el@ce1f0ae0b2e4 -> jschaf/powershell.el@f2da15857e43 jwiegley/emacs-async@c78bab7506a7 -> jwiegley/emacs-async@71cc50f27ffc leanprover/lean-mode@c1c68cc946eb -> leanprover/lean-mode@362bc6fa3efb ledger/ledger-mode@b55384d9cd14 -> ledger/ledger-mode@4b32f701736b midnightSuyama/shader-mode@d7dc8d0d6fe8 -> midnightSuyama/shader-mode@fe5a1982ba69 necaris/conda.el@667968184e40 -> necaris/conda.el@28f51e49fd25 nlamirault/phpunit.el@fe6bc91c3bd8 -> nlamirault/phpunit.el@4a36906344c0 ocaml-ppx/ocamlformat@9cbd8150c28f -> ocaml-ppx/ocamlformat@1ad4bdba9e1f ocaml/dune@3df932f7f91e -> ocaml/dune@f5a5a9c17be6 ocaml/merlin@be753d941238 -> ocaml/merlin@306af713e268 ocaml/tuareg@ad8a688b7e2a -> ocaml/tuareg@53ce2fdfdd37 pashky/restclient.el@9e2cfa865291 -> pashky/restclient.el@0ba72816f92f polymode/polymode@2094c92403fe -> polymode/polymode@15b6c1e94a45 purcell/flycheck-package@615c1ed8c6fb -> purcell/flycheck-package@3a6aaed29ff6 purescript-emacs/purescript-mode@0acd1af44642 -> purescript-emacs/purescript-mode@cf113871f98d s-kostyaev/go-gen-test@35df36dcd555 -> s-kostyaev/go-gen-test@f84f4177af7f seagle0128/grip-mode@6d6ddbe0af39 -> seagle0128/grip-mode@5809fb62f6dd sebasmonia/sharper@96edd4a1dbc2 -> sebasmonia/sharper@496e90e337cb smihica/emmet-mode@6b2e554f7fd2 -> smihica/emmet-mode@63b693260318 swift-emacs/swift-mode@f4529efa453f -> swift-emacs/swift-mode@1244ee48de18 technomancy/fennel-mode@566435734946 -> technomancy/fennel-mode@52da9715b0d0 vspinu/company-math@45778f5731c9 -> vspinu/company-math@3eb006874e30 whirm/flycheck-kotlin@bf1b398bdde1 -> whirm/flycheck-kotlin@a2a6abb9a7f8 wwwjfy/emacs-fish@a7c953b1491a -> wwwjfy/emacs-fish@d04478c0aba0 xuchunyang/elisp-demos@01c301b516e9 -> xuchunyang/elisp-demos@792be709c821 yoshiki/yaml-mode@535273d5a1eb -> yoshiki/yaml-mode@3fcb36d6039b ziglang/zig-mode@aa20d630b8c4 -> ziglang/zig-mode@9c5e41d6a0a8
2023-02-21 19:32:39 -05:00
(package! company-lean :pin "362bc6fa3efb1874c525ed6b4b6f24f76af22596"))
Reference in a new issue Copy permalink