From b9a16108f8d27f2c9e401be89e13d3de0c1b9478 Mon Sep 17 00:00:00 2001
From: tslil clingman <>
Date: Fri, 31 Jan 2020 13:50:29 -0800
Subject: Tramp/Projectile/Ivy(Rich) slowness fix, misc improvements

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

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

diff --git a/emacs/inits/25-theorems.el b/emacs/inits/25-theorems.el
index f5ab26b..e45648a 100644
--- a/emacs/inits/25-theorems.el
+++ b/emacs/inits/25-theorems.el
@@ -1,4 +1,4 @@
-;; Time-stamp: <2020-01-08 18:37:56 (tslil@bison)>
+;; Time-stamp: <2020-01-28 15:23:07 (tslil@bison)>
 
 ;; -----------------------------------------------------------------------------
 ;; Coq
@@ -45,7 +45,7 @@
                      :binary "hoqtop"
                      :args nil)))
 
-(defvar use-coq-env "HoTT")
+(defvar use-coq-env "UniMath")
 
 (defun mike-implicify (ntimes)
   (interactive "p")
-- 
cgit v1.2.3