bottomtype
1fa4516cad
add definition lookup handler to agda module
2020-09-28 02:10:29 +02:00
Henrik Lissner
cf2663ab7b
Bump *
...
bbatsov/projectile@bbcf781 -> bbatsov/projectile@46d2010
domtronn/all-the-icons.el@ed8e44d -> domtronn/all-the-icons.el@8c02280
emacsmirror/straight@fc077dd -> emacsmirror/straight@0c7c757
justbur/emacs-which-key@3642c11 -> justbur/emacs-which-key@e48e190
jwiegley/use-package@7d92536 -> jwiegley/use-package@4fb1f9a
purcell/ns-auto-titlebar@1efc30d -> purcell/ns-auto-titlebar@60273e7
+ :app
- :app calendar
kidd/org-gcal.el@7445058 -> kidd/org-gcal.el@2cad2d8
- :app irc
jorgenschaefer/circe@e5bf5f8 -> jorgenschaefer/circe@89aac22
- :app rss
skeeto/elfeed@d0405e6 -> skeeto/elfeed@8fb09ad
- :app twitter
abo-abo/avy@509471b -> abo-abo/avy@bbf1e73
+ :completion
- :completion company
company-mode/company-mode@5eb7d86 -> company-mode/company-mode@54f60ef
sebastiencs/company-box@889d723 -> sebastiencs/company-box@20384f0
- :completion helm
emacs-helm/helm@5d224cb -> emacs-helm/helm@e9a1e53
tumashu/posframe@922e4d2 -> tumashu/posframe@7b92a54
- :completion ivy
abo-abo/swiper@c6b60d3 -> abo-abo/swiper@9bb6841
raxod502/prescient.el@b11d79b -> raxod502/prescient.el@cc289ba
snyball/ivy-posframe@4474956 -> snyball/ivy-posframe@82a63ae
+ :checkers
- :checkers syntax
alexmurray/flycheck-posframe@2b3e94c -> alexmurray/flycheck-posframe@c928b5b
+ :editor
- :editor evil
emacs-evil/evil@2bc6ca3 -> emacs-evil/evil@1e7aa5b
emacs-evil/evil-collection@3e62b6b -> emacs-evil/evil-collection@c136589
- :editor fold
seregaxvm/vimish-fold@6368523 -> seregaxvm/vimish-fold@9d12e39
- :editor god
emacsorphanage/god-mode@1eb6ef3 -> emacsorphanage/god-mode@ad2e674
- :editor lispy
abo-abo/lispy@cdaa9c7 -> abo-abo/lispy@0a9dcfd
noctuid/lispyville@25a7012 -> noctuid/lispyville@0f13f26
- :editor objed
clemera/objed@e89d8da -> clemera/objed@dea5a64
- :editor snippets
joaotavora/yasnippet@5b1217a -> joaotavora/yasnippet@5cbdbf0
hlissner/doom-snippets@21b7c8d -> hlissner/doom-snippets@60c57d6
- :editor word-wrap
emacs-straight/adaptive-wrap@1810c0e -> emacs-straight/adaptive-wrap@319db64
+ :emacs
- :emacs dired
purcell/diredfl@83567d0 -> purcell/diredfl@cd052df
- :emacs ibuffer
purcell/ibuffer-projectile@504b0ed -> purcell/ibuffer-projectile@ecbe482
purcell/ibuffer-vc@1249c1e -> purcell/ibuffer-vc@5fa6aea
- :emacs undo
emacs-straight/undo-tree@5b6df03 -> emacs-straight/undo-tree@7523823
ideasman42/emacs-undo-fu@46de023 -> ideasman42/emacs-undo-fu@c0806c1
- :emacs vc
magit/magit@d459e52 -> magit/magit@321214c
pidu/git-timemachine@391eb61 -> pidu/git-timemachine@8d67575
+ :email
+ :email notmuch
https://git.notmuchmail.org/git/notmuch@ad9c2e9 -> https://git.notmuchmail.org/git/notmuch@8776faf
org-mime/org-mime@9f84446 -> org-mime/org-mime@9bb6351
+ :email wanderlust
wanderlust/semi@57a948c -> wanderlust/semi@10897f0
+ :input
- :input japanese
skk-dev/ddskk@fe7f82b -> skk-dev/ddskk@275a831
+ :lang
- :lang agda
agda/agda@8eb0d01 -> agda/agda@36738c1
- :lang cc
Andersbakken/rtags@080cb0e -> Andersbakken/rtags@b57b360
MaskRay/emacs-ccls@44f1fb3 -> Sarcasm/irony-mode@5f75fc0
emacsmirror/cmake-mode@bfe85bc -> emacsmirror/cmake-mode@e58c411
- :lang common-lisp
joaotavora/sly@becf7b7 -> joaotavora/sly@155cb06
- :lang coq
ProofGeneral/PG@0f0bb2c -> ProofGeneral/PG@03e427a
cpitclaudel/company-coq@7ec8058 -> cpitclaudel/company-coq@b096cb5
- :lang dart
emacs-lsp/lsp-dart@a06fc74 -> emacs-lsp/lsp-dart@437c548
- :lang elixir
elixir-editors/emacs-elixir@02a3922 -> elixir-editors/emacs-elixir@01b3324
- :lang elm
jcollard/elm-mode@7782be0 -> jcollard/elm-mode@363da4b
- :lang emacs-lisp
clojure-emacs/cider@9e117c2 -> clojure-emacs/cider@a89b694
clojure-emacs/clojure-mode@da9f1ec -> clojure-emacs/clojure-mode@84ed16c
jorgenschaefer/emacs-buttercup@e71a40f -> jorgenschaefer/emacs-buttercup@0e5eae0
xuchunyang/elisp-demos@4cd55a3 -> xuchunyang/elisp-demos@8c97481
- :lang erlang
erlang/otp@3065fbf -> erlang/otp@d9bc785
- :lang ess
emacs-ess/ESS@3c2fb63 -> emacs-ess/ESS@1baf8bf
- :lang fuel
factor/factor@497d649 -> factor/factor@3fdb032
- :lang fsharp
fsharp/emacs-fsharp-mode@8c86e38 -> fsharp/emacs-fsharp-mode@3e41fe1
- :lang fstar
FStarLang/fstar-mode.el@aaaf256 -> FStarLang/fstar-mode.el@bd28cb8
- :lang haskell
jyp/dante@7411904 -> jyp/dante@c516bc9
- :lang hy
hylang/hy-mode@e2d5fec -> hylang/hy-mode@55e84ca
- :lang idris
idris-hackers/idris-mode@acc8835 -> idris-hackers/idris-mode@b77eadd
- :lang java
mopemope/meghanada-emacs@e119c7b -> mopemope/meghanada-emacs@1e41f7f
- :lang javascript
ananthakumaran/tide@13e7af7 -> ananthakumaran/tide@f0b6dac
emacs-typescript/typescript.el@0fc7297 -> emacs-typescript/typescript.el@42a60e5
mooz/js2-mode@5049e54 -> mooz/js2-mode@40aab27
- :lang julia
JuliaEditorSupport/julia-emacs@1c122f1 -> JuliaEditorSupport/julia-emacs@b5f5983
tpapp/julia-repl@5fa04de -> tpapp/julia-repl@d073acb
- :lang kotlin
Emacs-Kotlin-Mode-Maintainers/kotlin-mode@ab61099 -> Emacs-Kotlin-Mode-Maintainers/kotlin-mode@8e6dd57
- :lang latex
emacs-straight/adaptive-wrap@1810c0e -> emacs-straight/adaptive-wrap@319db64
emacs-straight/auctex@6abf890 -> emacs-straight/auctex@59e251c
iyefrat/evil-tex@bb01576 -> iyefrat/evil-tex@06234c9
- :lang lean
leanprover/lean-mode@65b55b1 -> leanprover/lean-mode@6b43776
- :lang ledger
ledger/ledger-mode@7d78645 -> ledger/ledger-mode@805507f
- :lang markdown
Fanael/edit-indirect@935ded3 -> Fanael/edit-indirect@bdc8f54
jrblevin/markdown-mode@fa9fa20 -> jrblevin/markdown-mode@ef2cb4d
seagle0128/grip-mode@52768a0 -> seagle0128/grip-mode@281ada2
- :lang nix
NixOS/nix-mode@a00b3f7 -> NixOS/nix-mode@0cf1ea1
- :lang ocaml
ocaml-ppx/ocamlformat@27a49cc -> ocaml-ppx/ocamlformat@cd0eaa8
ocaml/dune@66cfb3a -> ocaml/dune@daea74e
- :lang org
abo-abo/org-download@768716b -> abo-abo/org-download@67b3c74
bastibe/org-journal@a6378dc -> bastibe/org-journal@a2728e2
dzop/emacs-jupyter@785edbb -> dzop/emacs-jupyter@360cae2
emacs-straight/org-mode@a1e5bee -> emacs-straight/org-mode@220f2b0
hniksic/emacs-htmlize@86f22f2 -> hniksic/emacs-htmlize@4920510
integral-dw/org-superstar-mode@1748185 -> integral-dw/org-superstar-mode@94f35c2
oer/org-re-reveal@c548e23 -> oer/org-re-reveal@7fe39d5
org-roam/company-org-roam@5d7ccd9 -> org-roam/company-org-roam@1132663
org-roam/org-roam@0aa0a7c -> org-roam/org-roam@c33867e
- :lang php
emacs-php/php-mode@4345dfd -> emacs-php/php-mode@f4c7c69
jwiegley/emacs-async@86aef2c -> jwiegley/emacs-async@36a1015
- :lang plantuml
skuro/plantuml-mode@ea45a13 -> skuro/plantuml-mode@5889166
- :lang python
cython/cython@0208bf2 -> cython/cython@fcfd16c
emacs-lsp/lsp-pyright@3cf2e8f -> emacs-lsp/lsp-pyright@9603dda
emacs-lsp/lsp-python-ms@7a502e6 -> emacs-lsp/lsp-python-ms@a884a9a
necaris/conda.el@9d02130 -> necaris/conda.el@9f7eea1
wbolster/emacs-python-pytest@6a3b4e5 -> wbolster/emacs-python-pytest@fc056fa
- :lang racket
greghendershott/racket-mode@29afd25 -> greghendershott/racket-mode@c55fd70
- :lang rest
pashky/restclient.el@e8ca809 -> pashky/restclient.el@ac8aad6
- :lang ruby
nonsequitur/inf-ruby@f3c927c -> nonsequitur/inf-ruby@9f0f79f
- :lang rust
brotzeit/rustic@0ec0688 -> brotzeit/rustic@75b9920
- :lang scala
emacs-lsp/lsp-metals@3d4d4b7 -> emacs-lsp/lsp-metals@039aa72
hvesalai/emacs-sbt-mode@633a315 -> hvesalai/emacs-sbt-mode@4358ed8
hvesalai/emacs-scala-mode@46bb948 -> hvesalai/emacs-scala-mode@1d08e88
- :lang scheme
flatwhatson/flycheck-guile@f37b614 -> flatwhatson/flycheck-guile@2940f16
jaor/geiser@0c86289 -> jaor/geiser@adc5c4a
- :lang solidity
ethereum/emacs-solidity@022b315 -> ethereum/emacs-solidity@d166a86
- :lang swift
emacs-lsp/lsp-sourcekit@04d75b6 -> emacs-lsp/lsp-sourcekit@130f7a8
swift-emacs/swift-mode@2ab9ea1 -> swift-emacs/swift-mode@d266fbd
- :lang web
fxbois/web-mode@a2badd0 -> fxbois/web-mode@60ffd87
- :lang yaml
yoshiki/yaml-mode@cecf4b1 -> yoshiki/yaml-mode@68fecb5
+ :term
- :term term
manateelazycat/multi-term@7307ddd -> manateelazycat/multi-term@017c77c
+ :tools
- :tools ansible
yoshiki/yaml-mode@34648f2 -> yoshiki/yaml-mode@68fecb5
- :tools debugger
emacs-lsp/dap-mode@85a6163 -> emacs-lsp/dap-mode@4b18543
realgud/realgud@5b0ed08 -> realgud/realgud@332d136
tumashu/posframe@6d604a7 -> tumashu/posframe@7b92a54
- :tools docker
Silex/docker.el@d6233bd -> Silex/docker.el@3773112
- :tools editorconfig
editorconfig/editorconfig-emacs@9a73ff7 -> editorconfig/editorconfig-emacs@9bc1343
- :tools ein
millejoh/emacs-ipython-notebook@ccbed30 -> millejoh/emacs-ipython-notebook@99a4718
- :tools lookup
jacktasia/dumb-jump@b815731 -> jacktasia/dumb-jump@0d74b2f
- :tools lsp
emacs-lsp/helm-lsp@5c960e7 -> emacs-lsp/helm-lsp@4263c96
emacs-lsp/lsp-mode@edb8119 -> emacs-lsp/lsp-mode@4145a70
emacs-lsp/lsp-ui@1f3e970 -> emacs-lsp/lsp-ui@c39ae37
joaotavora/eglot@fb6b17e -> joaotavora/eglot@5f873d2
- :tools magit
magit/forge@2c48746 -> magit/forge@feee7e2
magit/magit@798aff5 -> magit/magit@321214c
- :tools pass
zx2c4/password-store@07b169e -> zx2c4/password-store@06f4999
- :tools rgb
emacs-straight/rainbow-mode@f780ddb -> emacs-straight/rainbow-mode@fdff98b
+ :ui
- :ui doom
hlissner/emacs-doom-themes@8a5538e -> hlissner/emacs-doom-themes@24023de
- :ui fill-column
laishulu/hl-fill-column@43cb3c3 -> laishulu/hl-fill-column@5782a91
- :ui hl-todo
tarsius/hl-todo@3bba459 -> tarsius/hl-todo@0598b98
- :ui hydra
abo-abo/hydra@87873d7 -> abo-abo/hydra@112e689
- :ui indent-guides
DarthFennec/highlight-indent-guides@1b12c7b -> DarthFennec/highlight-indent-guides@a4f7714
- :ui modeline
seagle0128/doom-modeline@881e099 -> seagle0128/doom-modeline@ffbaaee
- :ui tabs
ema2159/centaur-tabs@9114ef4 -> ema2159/centaur-tabs@7e0332b
- :ui treemacs
Alexander-Miller/treemacs@644e940 -> Alexander-Miller/treemacs@027e03b
- :ui window-select
abo-abo/ace-window@7003c88 -> abo-abo/ace-window@c7cb315
2020-08-19 16:18:11 -04:00
Henrik Lissner
ddc3a95b1d
Bump :lang agda
...
agda/agda@ff9173e -> agda/agda@8eb0d01
Closes #3600
2020-07-20 21:52:47 -04:00
Henrik Lissner
0fa93a089f
Bump :lang
...
Alexander-Miller/company-shell@HEAD -> Alexander-Miller/company-shell@52f3bf2
FStarLang/fstar-mode.el@HEAD -> FStarLang/fstar-mode.el@aaaf256
JuliaEditorSupport/julia-emacs@5238f9a -> JuliaEditorSupport/julia-emacs@1c122f1
Kungsgeten/org-brain@6b7fced -> Kungsgeten/org-brain@cae8e22
OVYA/php-cs-fixer@6540006 -> OVYA/php-cs-fixer@95eace9
ProofGeneral/PG@2a17093 -> ProofGeneral/PG@9196749
aaronjensen/eslintd-fix@98c669e -> aaronjensen/eslintd-fix@0c43114
abicky/nodejs-repl.el@8b90948 -> abicky/nodejs-repl.el@6fad7d7
abo-abo/org-download@3c48102 -> abo-abo/org-download@b96fd7b
agda/agda@74d9fd5 -> agda/agda@ff9173e
alf/ob-restclient.el@c5c22e6 -> alf/ob-restclient.el@f7449b2
ananthakumaran/tide@1878a09 -> ananthakumaran/tide@3b45610
bastibe/org-journal@9d40f62 -> bastibe/org-journal@664c08e
brotzeit/rustic@373f5a1 -> brotzeit/rustic@61032ea
clojure-emacs/cider@7437c67 -> clojure-emacs/cider@52dcc60
clojure-emacs/clj-refactor.el@e24ba62 -> clojure-emacs/clj-refactor.el@92d3723
cpitclaudel/company-coq@6e8bc2e -> cpitclaudel/company-coq@f9dba9d
cython/cython@f6bf6aa -> cython/cython@48dc1f0
defunkt/coffee-mode@86ab8aa -> defunkt/coffee-mode@35a41c7
dgutov/robe@8190cb7 -> dgutov/robe@68503b3
diml/utop@7c99d8c -> diml/utop@30c77ce
dzop/emacs-jupyter@d4b06c5 -> dzop/emacs-jupyter@de7af25
emacs-ess/ESS@a2be8cb -> emacs-ess/ESS@625041a
emacs-lsp/lsp-haskell@6d481f9 -> emacs-lsp/lsp-haskell@582fa27
emacs-lsp/lsp-java@dbeeee9 -> emacs-lsp/lsp-java@6efb741
emacs-php/php-mode@cade4ce -> emacs-php/php-mode@b5d9988
emacs-php/phpactor.el@5ccf65d -> emacs-php/phpactor.el@31fe2ea
emacs-php/phpactor.el@5ccf65d ) -> emacs-php/phpactor.el@31fe2ea )
emacs-straight/csv-mode@fbf942e -> emacs-straight/csv-mode@6353374
emacs-straight/org-mode@0a8faec -> emacs-straight/org-mode@ba68555
emacs-typescript/typescript.el@a0f2c3e -> emacs-typescript/typescript.el@102587e
emacsorphanage/gnuplot@a406143 -> emacsorphanage/gnuplot@f0001c3
erlang/otp@c15eb5f -> erlang/otp@3065fbf
factor/factor@a62ea78 -> factor/factor@497d649
felipeochoa/rjsx-mode@014c760 -> felipeochoa/rjsx-mode@0061587
fxbois/web-mode@d1b6660 -> fxbois/web-mode@b0bb4ab
greghendershott/racket-mode@5f396fa -> greghendershott/racket-mode@bd4c8cf
haskell/haskell-mode@4a87d72 -> haskell/haskell-mode@7032966
jaor/geiser@645e477 -> jaor/geiser@83ad875
joaotavora/sly@cfecd21 -> joaotavora/sly@1382bda
jorgenschaefer/emacs-buttercup@178c795 -> jorgenschaefer/emacs-buttercup@b360e35
leanprover/lean-mode@f26e40d -> leanprover/lean-mode@65b55b1
leanprover/lean-mode@f26e40d -> leanprover/lean-mode@65b55b1
ledger/ledger-mode@a514953 -> ledger/ledger-mode@7d78645
mgyucht/jsonnet-mode@2b90b4e -> mgyucht/jsonnet-mode@d8b486c
necaris/conda.el@814439d -> necaris/conda.el@335474e
nonsequitur/inf-ruby@e4ae089 -> nonsequitur/inf-ruby@41e5ed3
ocaml-ppx/ocamlformat@dba4487 -> ocaml-ppx/ocamlformat@5282e04
ocaml/dune@f3df7ab -> ocaml/dune@1944d0f
ocaml/merlin@f6954e9 -> ocaml/merlin@37e38e4
polymode/poly-R@0443c89 -> polymode/poly-R@51ffeb6
polymode/polymode@3eab3c9 -> polymode/polymode@44265e3
purcell/flycheck-ledger@2065bea -> purcell/flycheck-ledger@628e25b
purescript-emacs/psc-ide-emacs@2a93944 -> purescript-emacs/psc-ide-emacs@7fc2b84
s-kostyaev/ivy-erlang-complete@7d60ed1 -> s-kostyaev/ivy-erlang-complete@c443dba
seagle0128/grip-mode@1a61bb7 -> seagle0128/grip-mode@9615c47
skeeto/skewer-mode@123215d -> skeeto/skewer-mode@e5bed35
tpapp/julia-repl@b11a572 -> tpapp/julia-repl@5fa04de
wwwjfy/emacs-fish@688c82d -> wwwjfy/emacs-fish@db257db
xuchunyang/elisp-demos@bec206b -> xuchunyang/elisp-demos@0d74766
yjwen/org-reveal@0d947cb -> yjwen/org-reveal@ea8b502
2020-03-27 16:57:56 -04:00
Henrik Lissner
acf6d5b78b
Bump to agda/agda@74d9fd5
...
From agda/agda@e9e23b9
2020-02-23 16:55:01 -05:00
Henrik Lissner
a9402cfb55
Fix #2373 : bring back package pinning
...
This needs some serious refactoring...
2020-01-25 19:02:00 -05:00
Henrik Lissner
4cc14389e8
PIN ALL THE PACKAGES
2020-01-14 22:32:11 -05:00
Henrik Lissner
c483a7f7bd
lang/agda: load agda2 if +local #2203
2019-12-18 10:12:41 -05:00
Henrik Lissner
f95ab47239
lang/agda: add +local flag & :nonrecursive to recipes
...
Relevant to #2203
2019-12-17 15:28:34 -05:00
Henrik Lissner
8d50280168
lang/agda: reformat map! call
...
To match other uses of map!
2019-09-07 19:57:58 -04:00
Rudi Grinberg
cd1783ed8e
Fix wiki for agda
...
we no longer use agda-mode locate
Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
2019-09-06 12:39:25 +09:00
Rudi Grinberg
88fc054919
Use straight for agda
...
We can fetch the mode directly from straight. There's no need to rely on
having this .el file installed for us. Now agda's el files can be edited
directly like all other emacs packages.
Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
2019-08-31 09:45:13 +07:00
Rudi Grinberg
d29431d10f
Fix keybinding for agda's auto
...
Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
2019-08-27 14:12:05 +07:00
Henrik Lissner
76cacb5bfe
💥 Rename def-package! -> use-package!
...
Calling this pivotal macro "def-package!" has frequently been a source
of confusion. It is a thin wrapper around use-package, and it should be
obvious that it is so. For this reason, and to match the naming
convention used with other convenience macros/wrappers, it is now
use-package!.
Also changes def-package-hook! -> use-package-hook!
The old macros are now marked obsolete and will be removed when straight
integration is merged.
2019-07-23 12:50:45 +02:00
Nicolas Wu
4bcaa28681
Add agda2-next-goal and agda2-previous-goal
...
Add support for commonly used movements (https://agda.readthedocs.io/en/v2.5.4.1/tools/emacs-mode.html )
2019-04-23 00:13:54 +01:00
Henrik Lissner
3f195614d9
Normalize :leader/:localleader keybinds
...
Evil states no longer apply to them. Also removes x-alt-keysym.
2018-12-23 23:54:27 -05:00
Patrick Elliott
c23fe02869
Remove syntax highlighting
2018-09-21 14:52:42 +02:00
Patrick Elliott
818df0afe4
More keybindings
2018-09-03 16:11:08 +02:00
Patrick Elliott
57415658a0
More syntax highlighting
2018-09-03 16:00:40 +02:00
Patrick Elliott
17f0b4c50e
Update syntax highlighting
2018-09-03 15:45:43 +02:00
Patrick Elliott
82651f247e
Fix syntax highlighting
2018-09-03 13:54:49 +02:00
Patrick Elliott
f6d6096bf2
load agda input method; bypass agda2; keybindings
2018-08-25 17:27:42 +02:00
Henrik Lissner
f6dbc00bc4
Fix agda-mode executable typo
2018-08-22 03:53:19 +02:00
Henrik Lissner
06262fef17
Lazy-load agda2; more robust +agda-dir resolution
2018-08-22 03:52:53 +02:00
Patrick Elliott
b3a83daf5f
Added basic agda support.
2018-08-21 12:46:29 +02:00
