Commit Graph

12 Commits

Author SHA1 Message Date
76cacb5bfe 💥 Rename def-package! -> use-package!
Calling this pivotal macro "def-package!" has frequently been a source
of confusion. It is a thin wrapper around use-package, and it should be
obvious that it is so. For this reason, and to match the naming
convention used with other convenience macros/wrappers, it is now
use-package!.

Also changes def-package-hook! -> use-package-hook!

The old macros are now marked obsolete and will be removed when straight
integration is merged.
2019-07-23 12:50:45 +02:00
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
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
c23fe02869 Remove syntax highlighting 2018-09-21 14:52:42 +02:00
818df0afe4 More keybindings 2018-09-03 16:11:08 +02:00
57415658a0 More syntax highlighting 2018-09-03 16:00:40 +02:00
17f0b4c50e Update syntax highlighting 2018-09-03 15:45:43 +02:00
82651f247e Fix syntax highlighting 2018-09-03 13:54:49 +02:00
f6d6096bf2 load agda input method; bypass agda2; keybindings 2018-08-25 17:27:42 +02:00
f6dbc00bc4 Fix agda-mode executable typo 2018-08-22 03:53:19 +02:00
06262fef17 Lazy-load agda2; more robust +agda-dir resolution 2018-08-22 03:52:53 +02:00
b3a83daf5f Added basic agda support. 2018-08-21 12:46:29 +02:00