diff options
| author | tslil clingman <> | 2020-01-31 13:50:29 -0800 |
|---|---|---|
| committer | tslil clingman <> | 2020-01-31 13:50:29 -0800 |
| commit | b9a16108f8d27f2c9e401be89e13d3de0c1b9478 (patch) | |
| tree | cc82adcc18fb306022d59a42948d52fb7ad53546 /emacs/inits/25-theorems.el | |
| parent | 5553be28d41cefc72300be7160b5202fd297537b (diff) | |
Tramp/Projectile/Ivy(Rich) slowness fix, misc improvements
Diffstat (limited to 'emacs/inits/25-theorems.el')
| -rw-r--r-- | emacs/inits/25-theorems.el | 4 |
1 files changed, 2 insertions, 2 deletions
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") |