Merge pull request #1352 from zenzike/patch-1

Add `agda2-next-goal` and `agda2-previous-goal`
2025-08-01 12:17:25 -05:00 · 2019-04-23 23:05:53 -04:00
parent 16acabfcbf 4bcaa28681
commit 768d6e9c69
1 changed files with 2 additions and 0 deletions
--- a/modules/lang/agda/config.el
+++ b/modules/lang/agda/config.el
@ -19,9 +19,11 @@
        "="   #'agda2-show-constraints
        "SPC" #'agda2-give
        "a"   #'agda2-auto
+        "b"   #'agda2-previous-goal
        "c"   #'agda2-make-case
        "d"   #'agda2-infer-type-maybe-toplevel
        "e"   #'agda2-show-context
+        "f"   #'agda2-next-goal
        "gG"  #'agda2-go-back
        "h"   #'agda2-helper-function-type
        "l"   #'agda2-load