1
2
3

    (add-to-list 'load-path "  /src/public/agda/src/data/emacs-mode")
  　  (load-file (let ((coding-system-for-read 'utf-8))
                    (shell-command-to-string "  /src/public/agda/dist-2.6.0-debug/build/agda-mode/agda-mode locate")))

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13

  (custom-set-variables
   ;; custom-set-variables was added by Custom.
   ;; If you edit it by hand, you could mess it up, so be careful.
   ;; Your init file should contain only one such instance.
   ;; If there is more than one, they won't work right.
   '(agda2-program-name
      "  /src/public/agda/dist-2.6.0-debug/build/Agda/agda"))
   (custom-set-faces
   ;; custom-set-faces was added by Custom.
   ;; If you edit it by hand, you could mess it up, so be careful.
   ;; Your init file should contain only one such instance.
   ;; If there is more than one, they won't work right.
   )