diff options
| author | tslil clingman <> | 2020-03-24 10:19:15 -0700 |
|---|---|---|
| committer | tslil clingman <> | 2020-03-24 10:19:15 -0700 |
| commit | 131eae8d53e8bf41023e11da7382294f187ea41d (patch) | |
| tree | 5cf47fd38bff4c6586e6f3aef48a92bebcf155c0 /emacs/inits/04-input_method.el | |
| parent | 6e0beb56dd2fdfccba3094185ca52628091b1208 (diff) | |
Changes from bison
Diffstat (limited to 'emacs/inits/04-input_method.el')
| -rw-r--r-- | emacs/inits/04-input_method.el | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/emacs/inits/04-input_method.el b/emacs/inits/04-input_method.el index b463ff6..fff167c 100644 --- a/emacs/inits/04-input_method.el +++ b/emacs/inits/04-input_method.el @@ -1,4 +1,4 @@ -;; Time-stamp: <2019-09-11 11:26:28 (tslil@basingstoke)> +;; Time-stamp: <2019-09-11 20:37:56 (tslil@bison)> (use-package agda-input :load-path "~/.emacs.d/scripts/" @@ -7,6 +7,7 @@ ("==>" "⟹") ("amalg" "⨿") ("bG" "𝔾") + ("bB" "𝔹") ("bU" "𝕌"))) (add-to-list 'agda-input-user-translations sym)) (agda-input-setup)) |