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
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
