diff options
| author | tslil clingman <> | 2020-04-10 11:06:16 -0700 |
|---|---|---|
| committer | tslil clingman <> | 2020-04-10 11:06:16 -0700 |
| commit | 9f16845044caa0a11f8de97b797bcd753578916f (patch) | |
| tree | c9d2ed4b8ea8215d4a32dd00060bb3d439e17e84 /emacs/inits/25-theorems.el | |
| parent | ac428fe37c63732f3de8be47185a295f0ffa83a9 (diff) | |
Updated bash config, emacs tweaks
Diffstat (limited to 'emacs/inits/25-theorems.el')
| -rw-r--r-- | emacs/inits/25-theorems.el | 16 |
1 files changed, 8 insertions, 8 deletions
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 |