Files
doomemacs/modules/lang
Henrik Lissner afb883409a Merge pull request #896 from wildsebastian/develop
Deactivate expansion of abbreviations (ProofGeneral/Coq)
2018-10-15 01:03:54 -04: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-10-12 14:20:45 -04:00
2018-08-22 02:35:55 +02:00
2018-09-09 09:58:20 -04:00
2018-06-18 02:34:16 +02:00