Files
doomemacs/modules/lang
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
..
2018-09-21 14:52:42 +02:00
2018-06-23 19:53:54 +02:00
2018-09-09 09:58:20 -04:00
2018-09-11 22:42:05 +03:00
2018-06-23 19:53:54 +02:00
2018-09-10 22:39:11 -04:00
2018-09-18 15:19:50 -04:00
2018-09-09 09:58:19 -04:00
2018-08-22 02:35:55 +02:00
2018-09-09 09:58:20 -04:00
2018-10-04 00:38:05 +01:00
2018-06-18 02:34:16 +02:00
2018-10-03 00:05:45 -04:00
2018-06-02 02:53:54 +02:00
2018-08-21 03:34:39 +02:00