Jeremy Bi
|
927cccbd99
|
Enable auto-completion in Agda layer
|
2016-10-08 19:25:08 +02:00 |
|
syl20bnr
|
9066d073b2
|
Fix (void-variable spacemacs-jump-handlers-....)
Move the variable definitions to config.el and eval-after-load the
key binding on SPC m g g.
|
2016-09-04 22:31:47 -04:00 |
|
Eivind Fonn
|
dbbdca7d5d
|
Fix agda indentation and README
|
2016-08-17 20:20:20 +02:00 |
|
FreeSalad
|
5096202b6b
|
Fix Agda layer for users without 'agda-mode' executable.
|
2016-08-17 20:13:01 +02:00 |
|