From fddde2ddf6f282a11eb77e7e940777edcaa60a25 Mon Sep 17 00:00:00 2001
From: Masaya Tojo <masaya@tojo.tokyo>
Date: Sat, 27 Feb 2021 00:51:29 +0900
Subject: Add ACL2 setting

---
 .emacs | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.emacs b/.emacs
index b61bb67..c56534f 100644
--- a/.emacs
+++ b/.emacs
@@ -153,3 +153,5 @@
 
 ;;; ACL2
 (load "~/acl2-8.3/emacs/emacs-acl2.el")
+(put 'defthm 'lisp-indent-function 1)
+
-- 
cgit v1.2.3