Nicolas Wu
|
4bcaa28681
|
Add agda2-next-goal and agda2-previous-goal
Add support for commonly used movements (https://agda.readthedocs.io/en/v2.5.4.1/tools/emacs-mode.html)
|
2019-04-23 00:13:54 +01:00 |
|
Henrik Lissner
|
3f195614d9
|
Normalize :leader/:localleader keybinds
Evil states no longer apply to them. Also removes x-alt-keysym.
|
2018-12-23 23:54:27 -05:00 |
|
Patrick Elliott
|
c23fe02869
|
Remove syntax highlighting
|
2018-09-21 14:52:42 +02:00 |
|
Patrick Elliott
|
818df0afe4
|
More keybindings
|
2018-09-03 16:11:08 +02:00 |
|
Patrick Elliott
|
57415658a0
|
More syntax highlighting
|
2018-09-03 16:00:40 +02:00 |
|
Patrick Elliott
|
17f0b4c50e
|
Update syntax highlighting
|
2018-09-03 15:45:43 +02:00 |
|
Patrick Elliott
|
82651f247e
|
Fix syntax highlighting
|
2018-09-03 13:54:49 +02:00 |
|
Patrick Elliott
|
f6d6096bf2
|
load agda input method; bypass agda2; keybindings
|
2018-08-25 17:27:42 +02:00 |
|
Henrik Lissner
|
f6dbc00bc4
|
Fix agda-mode executable typo
|
2018-08-22 03:53:19 +02:00 |
|
Henrik Lissner
|
06262fef17
|
Lazy-load agda2; more robust +agda-dir resolution
|
2018-08-22 03:52:53 +02:00 |
|
Patrick Elliott
|
b3a83daf5f
|
Added basic agda support.
|
2018-08-21 12:46:29 +02:00 |
|