7 Commits

Author	SHA1	Message	Date
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