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
169f9a6121
General, minor refactor & reformatting
2020-03-27 01:25:30 -04:00
Henrik Lissner
8a5ffc32f5
Bump to ProofGeneral/PG@2a17093
...
From ProofGeneral/PG@89829c2
Also removes pg-init hacks, as they no longer seem necessary after
ProofGeneral/PG@7371521
Hopefully fixes #2565
2020-02-20 16:55:19 -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
566d54d984
Disable continue-comments-on-RET in ess-r-mode & coq-mode
...
Fixes #2081 , #2233
2019-12-27 13:32:24 -05:00
Rudi Grinberg
a4e9d85db4
invert (if (not ..)) statement
2019-11-17 01:22:12 +09:00
Rudi Grinberg
c4fad17c29
Remove company-coq's hello page
2019-11-17 01:21:39 +09:00
Rudi Grinberg
78bb2e2ae5
diable the hello feature of company-coq
2019-11-17 00:34:15 +09:00
Rudi Grinberg
5738e39fea
Disable proof general's splash screen
2019-11-17 00:33:52 +09:00
Henrik Lissner
8eb9cf5b30
lang/coq: setup company ourselves + minor refactor
...
company-coq imposes its own value for company-idle-delay, potentially
overriding the user's customizations, so we set up company ourselves.
2019-10-21 09:01:49 -04:00
Rudi Grinberg
42624c8090
[coq] disable electric proof terminators
...
These send input to coq too agressively. It's often the case that this
causes delays in coq.
Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
2019-10-20 14:37:35 +09:00
Henrik Lissner
22ae9cca15
lang/coq: tab-width = proof-indent
2019-10-19 04:00:27 -04:00
Henrik Lissner
c21607ae66
lang/coq: general refactor
...
Potentially fixes #1854
2019-10-04 15:33:37 -04:00
Henrik Lissner
f68203c2ef
lang/coq: fix file-missing proof-site errors
...
Occasionally happens after the first time running `doom refresh` (after
installing proof-general).
2019-10-03 11:43:16 -04:00
Rudi Grinberg
081e57dc10
Add coq key bindings
...
These bindings are modelled afer the bindings in spacemacs
Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
2019-09-08 17:44:12 +09:00
Henrik Lissner
62af55dad0
Move emacs-snippets -> doom-snippets
...
The repo was renamed upstream.
2019-07-14 17:05:48 +02:00
Henrik Lissner
7c9e96da87
General module refactor
2019-03-02 02:04:11 -05:00
Henrik Lissner
84af639fc3
set-popup-rules! -> set-popup-rule!
...
Semantic refactor.
Also adjusts regexp to use non-capturing group (for slight performance benefit).
2018-12-03 22:23:57 -05:00
Elijah Malaby
dcbcc4d1e7
Added a popup rule to ignore proof general popups
2018-12-02 13:22:42 -05:00
Sebastian Wild
b89fcd8726
Replace Coq-Mode abbreviations with yasnippet
...
Since ProofGenerals abbreviation usage interfers with
evil-mode, this empties the abbreviation table of coq-mode.
The abbreviations got transformed into yasnippet snippets
and put into hlissner/emacs-snippets#4 .
2018-10-07 09:18:25 +02:00
Patrick Elliott
5bfaabd99b
Proof-general is now on melpa
2018-09-06 01:29:01 +02:00
Henrik Lissner
f75381ae51
when not => unless
2018-08-31 03:32:25 +02:00
Henrik Lissner
f95623989d
lang/coq: remove unnecessary after!
...
For setting a variable, an after! block is overkill
2018-08-31 03:31:58 +02:00
Patrick Elliott
953906ccdb
Terminator triggers evaluation
2018-08-27 15:35:18 +02:00
Patrick Elliott
f6e9b943fd
Change ref function
2018-08-27 14:11:14 +02:00
Patrick Elliott
5492315053
Added lookup handlers
2018-08-27 13:57:00 +02:00
Patrick Elliott
d9f819dac4
Only make company features conditional
2018-08-27 12:57:07 +02:00
Patrick Elliott
dbca4eef12
Put company features behind conditional
2018-08-21 13:44:11 +02:00
Henrik Lissner
48c531e76c
lang/coq: move config.el to autoload.el
...
The auto-mode-alist entry for coq-mode and friends are already added by proof-general's autoloads file, and neither coq-mode nor company-coq-mode belong to proof-site specifically, so they shouldn't be treated like they are (this could cause autoloading errors).
The `def-package!` block altogether is unnecessary. The only thing we need is to enable `company-coq-mode` on coq-mode-hook. However, having a one-line config.el is a tad excessive, so we put it in autoload.el instead.
2018-08-18 23:45:36 +02:00
Patrick Elliott
6393ebe16b
Removed redundant config
2018-08-18 14:51:21 +02:00
Patrick Elliott
55b5c7711b
Updated readme
2018-08-15 08:34:21 +02:00
Patrick Elliott
f5c1be44ba
Added quelpa recipe
2018-08-15 08:33:38 +02:00
Patrick Elliott
2929b58cde
Modified variable
2018-08-15 08:17:20 +02:00
Patrick Elliott
4280ea3418
Added readme.
2018-08-14 23:30:20 +02:00
Patrick Elliott
fa223ceafd
Added basic coq support
2018-08-14 23:21:55 +02:00
