ddc3a95b1d
Bump :lang agda
...
agda/agda@ff9173e -> agda/agda@8eb0d01
Closes #3600
2020-07-20 21:52:47 -04:00
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
acf6d5b78b
Bump to agda/agda@74d9fd5
...
From agda/agda@e9e23b9
2020-02-23 16:55:01 -05:00
a9402cfb55
Fix #2373 : bring back package pinning
...
This needs some serious refactoring...
2020-01-25 19:02:00 -05:00
4cc14389e8
PIN ALL THE PACKAGES
2020-01-14 22:32:11 -05:00
c483a7f7bd
lang/agda: load agda2 if +local #2203
2019-12-18 10:12:41 -05:00
f95ab47239
lang/agda: add +local flag & :nonrecursive to recipes
...
Relevant to #2203
2019-12-17 15:28:34 -05:00
8d50280168
lang/agda: reformat map! call
...
To match other uses of map!
2019-09-07 19:57:58 -04:00
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
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
d29431d10f
Fix keybinding for agda's auto
...
Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com >
2019-08-27 14:12:05 +07:00
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
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
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
c23fe02869
Remove syntax highlighting
2018-09-21 14:52:42 +02:00
818df0afe4
More keybindings
2018-09-03 16:11:08 +02:00
57415658a0
More syntax highlighting
2018-09-03 16:00:40 +02:00
17f0b4c50e
Update syntax highlighting
2018-09-03 15:45:43 +02:00
82651f247e
Fix syntax highlighting
2018-09-03 13:54:49 +02:00
f6d6096bf2
load agda input method; bypass agda2; keybindings
2018-08-25 17:27:42 +02:00
f6dbc00bc4
Fix agda-mode executable typo
2018-08-22 03:53:19 +02:00
06262fef17
Lazy-load agda2; more robust +agda-dir resolution
2018-08-22 03:52:53 +02:00
b3a83daf5f
Added basic agda support.
2018-08-21 12:46:29 +02:00
