diff options
| -rw-r--r-- | .emacs | 12 | 
1 files changed, 12 insertions, 0 deletions
| @@ -49,5 +49,17 @@  (add-hook 'lisp-interaction-mode-hook #'enable-paredit-mode)  (add-hook 'scheme-mode-hook           #'enable-paredit-mode) +;;; Guix +(with-eval-after-load 'geiser-guile +  (add-to-list 'geiser-guile-load-path "~/src/guix")) +(with-eval-after-load 'yasnippet +  (add-to-list 'yas-snippet-dirs "~/src/guix/etc/snippets")) +(setq user-full-name "Masaya Tojo") +(setq user-mail-address "masaya@tojo.tokyo") +(load-file "~/src/guix/etc/copyright.el") +(setq copyright-names-regexp +      (format "%s <%s>" user-full-name user-mail-address)) +(add-hook 'after-save-hook 'copyright-update) +  ;;; ACL2  (load "~/acl2-8.3/emacs/emacs-acl2.el") | 
