Permalink
Browse files

Added submodule site-lisp/agda-mode

  • Loading branch information...
1 parent 62569e8 commit 76f2b712eaa8c725e09a7abd23d2cd90d27b4514 John Wiegley committed Dec 1, 2012
Showing with 33 additions and 14 deletions.
  1. +3 −0 .gitmodules
  2. +1 −1 gnus-settings.el
  3. +21 −11 init.el
  4. +3 −1 settings.el
  5. +1 −0 site-lisp/agda-mode
  6. +4 −1 site-lisp/helm-gtags.el
View
3 .gitmodules
@@ -292,3 +292,6 @@
[submodule "site-lisp/persistent-soft"]
path = site-lisp/persistent-soft
url = git://github.com/rolandwalker/persistent-soft.git
+[submodule "site-lisp/agda-mode"]
+ path = site-lisp/agda-mode
+ url = git://github.com/jwiegley/agda-mode.git
View
2 gnus-settings.el
@@ -50,7 +50,7 @@ John Wiegley, Chairperson"))))
'(gnus-message-replyencrypt nil)
'(gnus-novice-user nil)
'(gnus-parameters (quote (("list\\.haskell\\.ghc" (to-address . "glasgow-haskell-users@haskell.org") (to-list . "glasgow-haskell-users@haskell.org") (list-identifier . "\\[Haskell\\]") (sieve anyof ((header :contains ("To" "From" "Cc" "Sender") "glasgow-haskell-users@haskell.org") (header :contains "list-id" "<glasgow-haskell-users.haskell.org>")))) ("\\`gmane\\." (spam-process gnus-group-spam-exit-processor-report-gmane)) ("mail\\.spam" (total-expire . t) (expiry-wait . 28) (expiry-target . delete) (gnus-article-sort-functions gnus-article-sort-by-chars) (ham-process-destination . "INBOX") (spam-contents gnus-group-spam-classification-spam) (spam-process ((spam spam-use-spamassassin) (ham spam-use-spamassassin)))) ("list\\." (subscribed . t) (gcc-self . t)) ("list\\.wg21\\.\\(.*\\)" (to-address . "c++std-\\1@accu.org") (to-list . "c++std-\\1@accu.org") (gcc-self . t) (gnus-list-identifiers "\\[c\\+\\+std-.+?\\]") (sieve anyof ((header :contains ("To" "From" "Cc" "Sender") "c++std-\\1@accu.org") (header :contains "list-id" "<c++std-\\1.accu.org>")))) ("INBOX" (total-expire . t) (expiry-wait . 14) (expiry-target . "mail.archive") (spam-process-destination . "mail.spam") (spam-contents gnus-group-spam-classification-ham) (spam-process ((spam spam-use-spamassassin) (ham spam-use-spamassassin)))) ("\\(mail\\.\\|INBOX\\)" (gnus-use-scoring nil)) ("mail\\.archive" (gnus-summary-line-format "%«%U%R %uS %ur %»%(%*%-14,14f %4u&size; %1«%B%s%»%)
-")) ("list\\.ledger\\.devel" (to-address . "ledger-cli@googlegroups.com") (to-list . "ledger-cli@googlegroups.com") (gcc-self . t) (sieve anyof ((header :contains ("To" "From" "Cc" "Sender") "ledger-cli@googlegroups.com") (header :contains "list-id" "<ledger-cli.googlegroups.com>")))) ("list\\.bahai\\.tarjuman" (to-address . "TARJUMAN-LIST@listserv.buffalo.edu") (to-list . "TARJUMAN-LIST@listserv.buffalo.edu") (sieve header :contains ("To" "From" "Cc" "Sender") "TARJUMAN-LIST@LISTSERV.BUFFALO.EDU")) ("list\\.emacs\\.devel" (to-address . "emacs-devel@gnu.org") (to-list . "emacs-devel@gnu.org") (total-expire . t) (expiry-wait . 90) (expiry-target . "archive.emacs.devel") (sieve anyof ((header :contains ("To" "From" "Cc" "Sender") "emacs-devel@gnu.org") (header :contains "list-id" "<emacs-devel.gnu.org>")))) ("list\\.emacs\\.help" (to-address . "help-gnu-emacs@gnu.org") (to-list . "help-gnu-emacs@gnu.org") (sieve anyof ((header :contains ("To" "From" "Cc" "Sender") "help-gnu-emacs@gnu.org") (header :contains "list-id" "<help-gnu-emacs.gnu.org>")))) ("list\\.emacs\\.bugs" (to-list . "bug-gnu-emacs@gnu.org") (sieve anyof ((header :matches ("To" "From" "Cc" "Sender") "*@debbugs.gnu.org") (header :contains ("To" "From" "Cc" "Sender") "bug-gnu-emacs@gnu.org") (header :contains "list-id" "<bug-gnu-emacs.gnu.org>")))) ("list\\.emacs\\.diffs" (to-address . "emacs-diffs@gnu.org") (to-list . "emacs-diffs@gnu.org") (sieve anyof ((header :contains ("To" "From" "Cc" "Sender") "emacs-diffs@gnu.org") (header :contains "list-id" "<emacs-diffs.gnu.org>")))) ("list\\.emacs\\.elpa\\.diffs" (to-address . "emacs-elpa-diffs@gnu.org") (to-list . "emacs-diffs@gnu.org") (sieve anyof ((header :contains ("To" "From" "Cc" "Sender") "emacs-elpa-diffs@gnu.org") (header :contains "list-id" "<emacs-elpa-diffs.gnu.org>")))) ("list\\.emacs\\.buildstatus" (to-address . "emacs-buildstatus@gnu.org") (to-list . "emacs-buildstatus@gnu.org") (sieve anyof ((header :contains ("To" "From" "Cc" "Sender") "emacs-buildstatus@gnu.org") (header :contains "list-id" "<emacs-buildstatus.gnu.org>")))) ("list\\.emacs\\.sources" (to-address . "gnu-emacs-sources@gnu.org") (to-list . "gnu-emacs-sources@gnu.org") (sieve anyof ((header :contains ("To" "From" "Cc" "Sender") "gnu-emacs-sources@gnu.org") (header :contains "list-id" "<gnu-emacs-sources.gnu.org>")))) ("list\\.emacs\\.orgmode" (to-address . "emacs-orgmode@gnu.org") (to-list . "emacs-orgmode@gnu.org") (list-identifier . "\\[O\\]") (sieve anyof ((header :contains ("To" "From" "Cc" "Sender") "emacs-orgmode@gnu.org") (header :contains "list-id" "<emacs-orgmode.gnu.org>")))) ("list\\.emacs\\.diffs" (list-identifier . "\\[Emacs-diffs\\] /srv/bzr/emacs/")) ("list\\.boost\\.cppnow" (to-address . "boostcon-plan@googlegroups.com") (to-list . "boostcon-plan@googlegroups.com") (sieve anyof ((header :contains ("To" "From" "Cc" "Sender") "boostcon-plan@googlegroups.com") (header :contains "list-id" "<boostcon-plan.googlegroups.com>")))) ("list\\.boost\\.ryppl" (to-address . "ryppl-dev@googlegroups.com") (to-list . "ryppl-dev@googlegroups.com") (sieve anyof ((header :contains ("To" "From" "Cc" "Sender") "ryppl-dev@googlegroups.com") (header :contains "list-id" "<ryppl-dev.googlegroups.com>")))) ("list\\.boost\\.devel" (to-address . "boost@lists.boost.org") (to-list . "boost@lists.boost.org") (list-identifier . "\\[boost\\]") (sieve anyof ((header :contains ("To" "From" "Cc" "Sender") "boost@lists.boost.org") (header :contains "list-id" "<boost.lists.boost.org>")))) ("list\\.boost\\.\\(users\\|announce\\)" (to-address . "boost-\\1@lists.boost.org") (to-list . "boost-\\1@lists.boost.org") (list-identifier . "\\\\[Boost-\\1\\\\]") (sieve anyof ((header :contains ("To" "From" "Cc" "Sender") "boost-\\1@lists.boost.org") (header :contains "list-id" "<boost-\\1.lists.boost.org>")))) ("list\\.isocpp\\.\\(proposals\\|discussion\\)" (to-address . "std-\\1@isocpp.org") (to-list . "std-\\1@isocpp.org") (list-identifier . "\\\\[\\\\(lang\\\\|lib\\\\|std\\\\)-\\1\\\\]") (sieve anyof ((header :contains ("To" "From" "Cc" "Sender") "std-\\1@isocpp.org") (header :contains "list-id" "<std-\\1.isocpp.org>")))) ("list\\.clang\\.devel" (to-address . "cfe-dev@cs.uiuc.edu") (to-list . "cfe-dev@cs.uiuc.edu") (list-identifier . "\\[\\(cfe-dev\\|LLVMdev\\)\\]") (sieve anyof ((header :contains ("To" "From" "Cc" "Sender") "cfe-dev@cs.uiuc.edu") (header :contains "list-id" "<cfe-dev.cs.uiuc.edu>")))) ("list\\.llvm\\.devel" (to-address . "llvmdev@cs.uiuc.edu") (to-list . "llvmdev@cs.uiuc.edu") (list-identifier . "\\[\\(cfe-dev\\|LLVMdev\\)]") (sieve anyof ((header :contains ("To" "From" "Cc" "Sender") "llvmdev@cs.uiuc.edu") (header :contains "list-id" "<llvmdev.cs.uiuc.edu>")))) ("list\\.nix\\.devel" (to-address . "nix-dev@lists.science.uu.nl") (to-list . "nix-dev@lists.science.uu.nl") (list-identifier . "\\[Nix-dev\\]") (sieve anyof ((header :contains ("To" "From" "Cc" "Sender") "nix-dev@lists.science.uu.nl") (header :contains "list-id" "<nix-dev.lists.science.uu.nl>")))) ("list\\.haskell\\.cafe" (to-address . "haskell-cafe@haskell.org") (to-list . "haskell-cafe@haskell.org") (total-expire . t) (expiry-wait . 90) (expiry-target . "archive.haskell.cafe") (list-identifier . "\\[Haskell-cafe\\]") (sieve anyof ((header :contains ("To" "From" "Cc" "Sender") "haskell-cafe@haskell.org") (header :contains "list-id" "<haskell-cafe.haskell.org>")))) ("list\\.haskell\\.libraries" (to-address . "libraries@haskell.org") (to-list . "libraries@haskell.org") (total-expire . t) (expiry-wait . 90) (expiry-target . "archive.haskell.libraries") (sieve anyof ((header :contains ("To" "From" "Cc" "Sender") "libraries@haskell.org") (header :contains "list-id" "<libraries.haskell.org>")))) ("list\\.haskell\\.prime" (to-address . "haskell-prime@haskell.org") (to-list . "haskell-prime@haskell.org") (sieve anyof ((header :contains ("To" "From" "Cc" "Sender") "haskell-prime@haskell.org") (header :contains "list-id" "<haskell-prime.haskell.org>")))) ("list\\.haskell\\.template-haskell" (to-address . "template-haskell@haskell.org") (to-list . "template-haskell@haskell.org") (sieve anyof ((header :contains ("To" "From" "Cc" "Sender") "template-haskell@haskell.org") (header :contains "list-id" "<template-haskell.haskell.org>")))) ("list\\.haskell\\.beginners" (to-address . "beginners@haskell.org") (to-list . "beginners@haskell.org") (list-identifier . "\\[Haskell-beginners\\]") (sieve anyof ((header :contains ("To" "From" "Cc" "Sender") "beginners@haskell.org") (header :contains "list-id" "<beginners.haskell.org>")))) ("list\\.haskell\\.infrastructure" (to-address . "haskell-infrastructure@community.galois.com") (to-list . "haskell-infrastructure@community.galois.com") (list-identifier . "\\[Haskell-infrastructure\\]") (sieve anyof ((header :contains ("To" "From" "Cc" "Sender") "haskell-infrastructure@community.galois.com") (header :contains "list-id" "<haskell-infrastructure.community.galois.com>")))) ("list\\.haskell\\.announce" (to-address . "haskell@haskell.org") (to-list . "haskell@haskell.org") (list-identifier . "\\[Haskell\\]") (sieve anyof ((header :contains ("To" "From" "Cc" "Sender") "haskell@haskell.org") (header :contains "list-id" "<haskell.haskell.org>")))) ("list\\.haskell\\.cabal" (to-address . "cabal-devel@haskell.org") (to-list . "cabal-devel@haskell.org") (list-identifier . "\\[Haskell\\]") (sieve anyof ((header :contains ("To" "From" "Cc" "Sender") "cabal-devel@haskell.org") (header :contains "list-id" "<cabal-devel.haskell.org>")))))))
+")) ("list\\.ledger\\.devel" (to-address . "ledger-cli@googlegroups.com") (to-list . "ledger-cli@googlegroups.com") (gcc-self . t) (sieve anyof ((header :contains ("To" "From" "Cc" "Sender") "ledger-cli@googlegroups.com") (header :contains "list-id" "<ledger-cli.googlegroups.com>")))) ("list\\.bahai\\.tarjuman" (to-address . "TARJUMAN-LIST@listserv.buffalo.edu") (to-list . "TARJUMAN-LIST@listserv.buffalo.edu") (sieve header :contains ("To" "From" "Cc" "Sender") "TARJUMAN-LIST@LISTSERV.BUFFALO.EDU")) ("list\\.emacs\\.devel" (to-address . "emacs-devel@gnu.org") (to-list . "emacs-devel@gnu.org") (total-expire . t) (expiry-wait . 90) (expiry-target . "archive.emacs.devel") (sieve anyof ((header :contains ("To" "From" "Cc" "Sender") "emacs-devel@gnu.org") (header :contains "list-id" "<emacs-devel.gnu.org>")))) ("list\\.emacs\\.help" (to-address . "help-gnu-emacs@gnu.org") (to-list . "help-gnu-emacs@gnu.org") (sieve anyof ((header :contains ("To" "From" "Cc" "Sender") "help-gnu-emacs@gnu.org") (header :contains "list-id" "<help-gnu-emacs.gnu.org>")))) ("list\\.emacs\\.bugs" (to-list . "bug-gnu-emacs@gnu.org") (sieve anyof ((header :matches ("To" "From" "Cc" "Sender") "*@debbugs.gnu.org") (header :contains ("To" "From" "Cc" "Sender") "bug-gnu-emacs@gnu.org") (header :contains "list-id" "<bug-gnu-emacs.gnu.org>")))) ("list\\.emacs\\.diffs" (to-address . "emacs-diffs@gnu.org") (to-list . "emacs-diffs@gnu.org") (sieve anyof ((header :contains ("To" "From" "Cc" "Sender") "emacs-diffs@gnu.org") (header :contains "list-id" "<emacs-diffs.gnu.org>")))) ("list\\.emacs\\.elpa\\.diffs" (to-address . "emacs-elpa-diffs@gnu.org") (to-list . "emacs-diffs@gnu.org") (sieve anyof ((header :contains ("To" "From" "Cc" "Sender") "emacs-elpa-diffs@gnu.org") (header :contains "list-id" "<emacs-elpa-diffs.gnu.org>")))) ("list\\.emacs\\.buildstatus" (to-address . "emacs-buildstatus@gnu.org") (to-list . "emacs-buildstatus@gnu.org") (sieve anyof ((header :contains ("To" "From" "Cc" "Sender") "emacs-buildstatus@gnu.org") (header :contains "list-id" "<emacs-buildstatus.gnu.org>")))) ("list\\.emacs\\.sources" (to-address . "gnu-emacs-sources@gnu.org") (to-list . "gnu-emacs-sources@gnu.org") (sieve anyof ((header :contains ("To" "From" "Cc" "Sender") "gnu-emacs-sources@gnu.org") (header :contains "list-id" "<gnu-emacs-sources.gnu.org>")))) ("list\\.emacs\\.orgmode" (to-address . "emacs-orgmode@gnu.org") (to-list . "emacs-orgmode@gnu.org") (list-identifier . "\\[O\\]") (sieve anyof ((header :contains ("To" "From" "Cc" "Sender") "emacs-orgmode@gnu.org") (header :contains "list-id" "<emacs-orgmode.gnu.org>")))) ("list\\.emacs\\.diffs" (list-identifier . "\\[Emacs-diffs\\] /srv/bzr/emacs/")) ("list\\.boost\\.cppnow" (to-address . "boostcon-plan@googlegroups.com") (to-list . "boostcon-plan@googlegroups.com") (sieve anyof ((header :contains ("To" "From" "Cc" "Sender") "boostcon-plan@googlegroups.com") (header :contains "list-id" "<boostcon-plan.googlegroups.com>")))) ("list\\.boost\\.ryppl" (to-address . "ryppl-dev@googlegroups.com") (to-list . "ryppl-dev@googlegroups.com") (sieve anyof ((header :contains ("To" "From" "Cc" "Sender") "ryppl-dev@googlegroups.com") (header :contains "list-id" "<ryppl-dev.googlegroups.com>")))) ("list\\.boost\\.devel" (to-address . "boost@lists.boost.org") (to-list . "boost@lists.boost.org") (list-identifier . "\\[boost\\]") (sieve anyof ((header :contains ("To" "From" "Cc" "Sender") "boost@lists.boost.org") (header :contains "list-id" "<boost.lists.boost.org>")))) ("list\\.boost\\.\\(users\\|announce\\)" (to-address . "boost-\\1@lists.boost.org") (to-list . "boost-\\1@lists.boost.org") (list-identifier . "\\\\[Boost-\\1\\\\]") (sieve anyof ((header :contains ("To" "From" "Cc" "Sender") "boost-\\1@lists.boost.org") (header :contains "list-id" "<boost-\\1.lists.boost.org>")))) ("list\\.isocpp\\.\\(proposals\\|discussion\\)" (to-address . "std-\\1@isocpp.org") (to-list . "std-\\1@isocpp.org") (list-identifier . "\\\\[\\\\(lang\\\\|lib\\\\|std\\\\)-\\1\\\\]") (sieve anyof ((header :contains ("To" "From" "Cc" "Sender") "std-\\1@isocpp.org") (header :contains "list-id" "<std-\\1.isocpp.org>")))) ("list\\.clang\\.devel" (to-address . "cfe-dev@cs.uiuc.edu") (to-list . "cfe-dev@cs.uiuc.edu") (list-identifier . "\\[\\(cfe-dev\\|LLVMdev\\)\\]") (sieve anyof ((header :contains ("To" "From" "Cc" "Sender") "cfe-dev@cs.uiuc.edu") (header :contains "list-id" "<cfe-dev.cs.uiuc.edu>")))) ("list\\.llvm\\.devel" (to-address . "llvmdev@cs.uiuc.edu") (to-list . "llvmdev@cs.uiuc.edu") (list-identifier . "\\[\\(cfe-dev\\|LLVMdev\\)]") (sieve anyof ((header :contains ("To" "From" "Cc" "Sender") "llvmdev@cs.uiuc.edu") (header :contains "list-id" "<llvmdev.cs.uiuc.edu>")))) ("list\\.nix\\.devel" (to-address . "nix-dev@lists.science.uu.nl") (to-list . "nix-dev@lists.science.uu.nl") (list-identifier . "\\[Nix-dev\\]") (sieve anyof ((header :contains ("To" "From" "Cc" "Sender") "nix-dev@lists.science.uu.nl") (header :contains "list-id" "<nix-dev.lists.science.uu.nl>")))) ("list\\.haskell\\.cafe" (to-address . "haskell-cafe@haskell.org") (to-list . "haskell-cafe@haskell.org") (total-expire . t) (expiry-wait . 90) (expiry-target . "archive.haskell.cafe") (list-identifier . "\\[Haskell\\(-cafe\\)?\\]") (sieve anyof ((header :contains ("To" "From" "Cc" "Sender") "haskell-cafe@haskell.org") (header :contains "list-id" "<haskell-cafe.haskell.org>")))) ("list\\.haskell\\.libraries" (to-address . "libraries@haskell.org") (to-list . "libraries@haskell.org") (total-expire . t) (expiry-wait . 90) (expiry-target . "archive.haskell.libraries") (sieve anyof ((header :contains ("To" "From" "Cc" "Sender") "libraries@haskell.org") (header :contains "list-id" "<libraries.haskell.org>")))) ("list\\.haskell\\.prime" (to-address . "haskell-prime@haskell.org") (to-list . "haskell-prime@haskell.org") (sieve anyof ((header :contains ("To" "From" "Cc" "Sender") "haskell-prime@haskell.org") (header :contains "list-id" "<haskell-prime.haskell.org>")))) ("list\\.haskell\\.template-haskell" (to-address . "template-haskell@haskell.org") (to-list . "template-haskell@haskell.org") (sieve anyof ((header :contains ("To" "From" "Cc" "Sender") "template-haskell@haskell.org") (header :contains "list-id" "<template-haskell.haskell.org>")))) ("list\\.haskell\\.beginners" (to-address . "beginners@haskell.org") (to-list . "beginners@haskell.org") (list-identifier . "\\[Haskell-beginners\\]") (sieve anyof ((header :contains ("To" "From" "Cc" "Sender") "beginners@haskell.org") (header :contains "list-id" "<beginners.haskell.org>")))) ("list\\.haskell\\.infrastructure" (to-address . "haskell-infrastructure@community.galois.com") (to-list . "haskell-infrastructure@community.galois.com") (list-identifier . "\\[Haskell-infrastructure\\]") (sieve anyof ((header :contains ("To" "From" "Cc" "Sender") "haskell-infrastructure@community.galois.com") (header :contains "list-id" "<haskell-infrastructure.community.galois.com>")))) ("list\\.haskell\\.announce" (to-address . "haskell@haskell.org") (to-list . "haskell@haskell.org") (list-identifier . "\\[Haskell\\]") (sieve anyof ((header :contains ("To" "From" "Cc" "Sender") "haskell@haskell.org") (header :contains "list-id" "<haskell.haskell.org>")))) ("list\\.haskell\\.cabal" (to-address . "cabal-devel@haskell.org") (to-list . "cabal-devel@haskell.org") (list-identifier . "\\[Haskell\\]") (sieve anyof ((header :contains ("To" "From" "Cc" "Sender") "cabal-devel@haskell.org") (header :contains "list-id" "<cabal-devel.haskell.org>")))))))
'(gnus-permanently-visible-groups "INBOX")
'(gnus-read-active-file nil)
'(gnus-read-newsrc-file nil)
View
32 init.el
@@ -1417,15 +1417,6 @@
(use-package copy-code
:bind ("A-M-W" . copy-code-as-rtf))
-
-;;;_ , coq
-
-(if nil
- (use-package coq-mode
- :mode ("\\.v\\'" . coq-mode))
- (use-package proof-site
- :command proofgeneral
- :load-path "site-lisp/proofgeneral/generic/"))
;;;_ , crosshairs
@@ -1762,8 +1753,7 @@ The output appears in the buffer `*Async Shell Command*'."
erc-fill-prefix " "
erc-fill-column 88
erc-insert-timestamp-function 'erc-insert-timestamp-left)
-
- (set-input-method "Agda")
+
(set-input-method "Agda"))
(add-hook 'erc-mode-hook 'setup-irc-environment)
@@ -2461,6 +2451,8 @@ FORM => (eval FORM)."
(elisp-slime-nav-mode 1)
(local-set-key (kbd "<return>") 'paredit-newline)
+
+ (add-hook 'after-save-hook 'check-parens nil t)
(if (memq major-mode
'(emacs-lisp-mode inferior-emacs-lisp-mode ielm-mode))
@@ -2919,6 +2911,24 @@ FORM => (eval FORM)."
(use-package pp-c-l
:init
(hook-into-modes 'pretty-control-l-mode '(prog-mode-hook)))
+
+;;;_ , proofgeneral
+
+(use-package proof-site
+ :load-path "site-lisp/proofgeneral/generic/"
+ :config
+ (progn
+ (eval-after-load "coq"
+ '(progn
+ (add-hook 'coq-mode-hook (lambda () (yas/minor-mode 1)))
+ (bind-key "M-RET" 'proof-goto-point coq-mode-map)
+ (bind-key "<tab>" 'yas/expand-from-trigger-key coq-mode-map)))
+
+ (defadvice proof-electric-terminator
+ (around insert-newline-after-terminator activate)
+ (save-excursion
+ ad-do-it)
+ (forward-char))))
;;;_ , ps-print
View
4 settings.el
@@ -58,6 +58,7 @@
'(compilation-context-lines 10)
'(compilation-scroll-output t)
'(compilation-skip-threshold 2)
+ '(coq-unicode-tokens-enable t)
'(current-language-environment "UTF-8")
'(custom-buffer-done-function (quote kill-buffer))
'(custom-file "/Users/johnw/.emacs.d/settings.el")
@@ -101,7 +102,7 @@
'(enable-recursive-minibuffers t)
'(erc-auto-query (quote window-noselect))
'(erc-autoaway-message "I'm away (after %i seconds of idle-time)")
- '(erc-autojoin-channels-alist (quote (("localhost" "&bitlbee") ("freenode.net" "#emacs-ops" "#haskell" "#haskell-in-depth" "#haskell-overflow" "#haskell-blah" "#haskell-ops" "#haskell-lens" "#scannedinavian" "#ledger" "##categorytheory" "#agda") ("well-typed.com" "#fpcomplete") ("oftc.net" "#llvm"))))
+ '(erc-autojoin-channels-alist (quote (("localhost" "&bitlbee") ("freenode.net" "#emacs-ops" "#haskell" "#haskell-in-depth" "#haskell-overflow" "#haskell-blah" "#haskell-ops" "#haskell-lens" "#scannedinavian" "#ledger" "##categorytheory" "#agda" "#coq" "#git" "#emacs" "#ghc") ("well-typed.com" "#fpcomplete") ("oftc.net" "#llvm"))))
'(erc-autojoin-mode t)
'(erc-fill-function (quote erc-fill-variable))
'(erc-fill-static-center 12)
@@ -238,6 +239,7 @@
'(pp^L-^L-string " ")
'(proof-electric-terminator-enable t)
'(proof-splash-enable nil)
+ '(proof-three-window-enable nil)
'(ps-font-size (quote (8 . 10)))
'(ps-footer-font-size (quote (12 . 14)))
'(ps-header-font-size (quote (12 . 14)))
1 site-lisp/agda-mode
@@ -0,0 +1 @@
+Subproject commit bd0ad752ec18926615e411add7487a4321e7f499
View
5 site-lisp/helm-gtags.el
@@ -224,7 +224,10 @@ If it is other symbol, display file name in candidates even if classification is
(let* ((c-source-file save)
(gtags-select-buffer buffer)
(helm-candidate-number-limit 9999)
- (bfn (with-current-buffer c-source-file buffer-file-name))
+ ;; (bfn (with-current-buffer c-source-file buffer-file-name))
+ (bfn
+ (with-current-buffer c-source-file
+ (or buffer-file-name (concat default-directory "NonExistent"))))
(pwd (with-current-buffer gtags-select-buffer (file-name-directory bfn)))
(basename (substring bfn (length pwd)))
(lineno (with-current-buffer c-source-file

0 comments on commit 76f2b71

Please sign in to comment.