From fa49aa2b985398b3da4379efc46198ba6497bdfc Mon Sep 17 00:00:00 2001
From: tslil clingman <>
Date: Mon, 27 Sep 2021 08:53:17 -0400
Subject: Fixed tabs!

---
 emacs/inits/04-input_method.el | 26 +++++++++++++-------------
 1 file changed, 13 insertions(+), 13 deletions(-)

(limited to 'emacs/inits/04-input_method.el')

diff --git a/emacs/inits/04-input_method.el b/emacs/inits/04-input_method.el
index a310b57..0cdd9de 100644
--- a/emacs/inits/04-input_method.el
+++ b/emacs/inits/04-input_method.el
@@ -1,20 +1,20 @@
-;; Time-stamp: <2020-04-06 13:46:34 (tslil@bison)>
+;; Time-stamp: <2021-09-27 08h47 EDT (hobbies)>
 
-(use-package agda-input
-  :load-path "~/.emacs.d/scripts/"
-  :config
-  (dolist (sym '(("chimney" "╝")
-                 ("==>" "⟹")
-                 ("amalg" "⨿")
-                 ("bG" "𝔾")
-                 ("bB" "𝔹")
-                 ("bU" "𝕌")))
-    (add-to-list 'agda-input-user-translations sym))
-  (agda-input-setup))
+;;(use-package agda-input
+;;  :load-path "~/.emacs.d/scripts/"
+;;  :config
+;;  (dolist (sym '(("chimney" "╝")
+;;                 ("==>" "⟹")
+;;                 ("amalg" "⨿")
+;;                 ("bG" "𝔾")
+;;                 ("bB" "𝔹")
+;;                 ("bU" "𝕌")))
+;;    (add-to-list 'agda-input-user-translations sym))
+;;  (agda-input-setup))
 
 (setq-default default-input-method "TeX")
 
-(defvar use-default-input-method t)
+(defvar use-default-input-method nil)
 
 (make-variable-buffer-local 'use-default-input-method)
 
-- 
cgit v1.2.3