4 Commits

Author	SHA1	Message	Date
Henrik Lissner	62af55dad0	Move emacs-snippets -> doom-snippets ... The repo was renamed upstream.	2019-07-14 17:05:48 +02: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	55b5c7711b	Updated readme	2018-08-15 08:34:21 +02:00
Patrick Elliott	4280ea3418	Added readme.	2018-08-14 23:30:20 +02:00