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