From 9f16845044caa0a11f8de97b797bcd753578916f Mon Sep 17 00:00:00 2001
From: tslil clingman <>
Date: Fri, 10 Apr 2020 11:06:16 -0700
Subject: Updated bash config, emacs tweaks

---
 emacs/inits/25-theorems.el | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

(limited to 'emacs/inits/25-theorems.el')

diff --git a/emacs/inits/25-theorems.el b/emacs/inits/25-theorems.el
index e45648a..990f758 100644
--- a/emacs/inits/25-theorems.el
+++ b/emacs/inits/25-theorems.el
@@ -1,4 +1,4 @@
-;; Time-stamp: <2020-01-28 15:23:07 (tslil@bison)>
+;; Time-stamp: <2020-04-04 09:04:22 (tslil@bison)>
 
 ;; -----------------------------------------------------------------------------
 ;; Coq
@@ -142,14 +142,14 @@
 ;; -----------------------------------------------------------------------------
 ;; Agda
 
-(load-file (let ((coding-system-for-read 'utf-8))
-             (shell-command-to-string "agda-mode locate")))
+;; (load-file (let ((coding-system-for-read 'utf-8))
+;;              (shell-command-to-string "agda-mode locate")))
 
-(add-hook 'agda2-mode
-          (lambda ()
-            (subword-mode 1)
-            (auto-fill-mode)
-            (aggressive-indent-mode -1)))
+;; (add-hook 'agda2-mode
+;;           (lambda ()
+;;             (subword-mode 1)
+;;             (auto-fill-mode)
+;;             (aggressive-indent-mode -1)))
 
 ;; -----------------------------------------------------------------------------
 ;; Lean
-- 
cgit v1.2.3