Permalink
Browse files

changes

1 parent a5dfbda commit b26996fd5d25ba32a79a4375d9c48490b30929f7 @jwiegley committed Jul 19, 2017
Showing with 7 additions and 7 deletions.
  1. +3 −4 init.el
  2. +2 −0 lisp/prover.el
  3. +2 −3 settings.el
View
@@ -2265,10 +2265,7 @@ Inspired by Erik Naggum's `recursive-edit-with-single-window'."
(use-package helm-files)
(use-package helm-buffers)
(use-package helm-mode
- :disabled t
- :diminish helm-mode
- :init
- (helm-mode 1))
+ :diminish helm-mode)
(use-package helm-multi-match)
@@ -3584,6 +3581,8 @@ Inspired by Erik Naggum's `recursive-edit-with-single-window'."
:load-path "site-lisp/math-symbol-lists"
:defer t))
:config
+ (use-package prover)
+ (bind-key "C-M-h" #'company-coq-toggle-definition-overlay coq-mode-map)
(unbind-key "M-<return>" company-coq-map))
(use-package coq
View
@@ -59,3 +59,5 @@
(nreverse ctors))
(buffer-string))))))
indstr))
+
+(provide 'prover)
View
@@ -300,9 +300,7 @@
("^ \\*Minibuf-.*\\*$" "^\\*Summary" "^\\*Article" "^#")))
'(clean-buffer-list-kill-regexps (quote (".*")))
'(column-number-mode t)
- '(company-coq-disabled-features
- (quote
- (hello prettify-symbols smart-subscripts dynamic-symbols-backend)))
+ '(company-coq-disabled-features (quote (hello prettify-symbols dynamic-symbols-backend)))
'(company-coq-prettify-symbols-alist
(quote
(("|-" . 8866)
@@ -866,6 +864,7 @@
'(nix-buffer-directory-name "~/.emacs.d/data/nix-buffer")
'(ns-alternate-modifier (quote alt))
'(ns-command-modifier (quote meta))
+ '(ns-function-modifier (quote hyper))
'(ns-right-alternate-modifier (quote super))
'(ns-right-control-modifier (quote hyper))
'(nsm-settings-file "/Users/johnw/.emacs.d/data/network-security.data")

0 comments on commit b26996f

Please sign in to comment.