Files
doomemacs/modules/lang
Henrik Lissner 993e14b2e8 Merge pull request #1920 from rgrinberg/coq-disable-electric-terminators
lang/coq: proof-electric-terminator-enable = nil
2019-10-20 19:59:20 -04:00
..
2019-09-07 19:57:58 -04:00
2018-06-23 19:53:54 +02:00
2019-10-14 02:54:29 -04:00
2019-07-23 12:50:45 +02:00
2019-10-04 22:14:05 -04:00
2019-10-13 00:50:06 +03:00
2019-07-23 12:50:45 +02:00
2018-06-02 02:53:54 +02:00