From c4056581936c6e173c6dce3afb2c1fdac6adbb69 Mon Sep 17 00:00:00 2001
From: Amin Bandali <bandali@gnu.org>
Date: Tue, 25 Dec 2018 18:19:44 -0500
Subject: [PATCH] [emacs] Update proof-site to v4.4-226-g7389d438, tweak defer
 delays

---
 init.org       | 16 ++++++++--------
 lib/proof-site |  2 +-
 2 files changed, 9 insertions(+), 9 deletions(-)

diff --git a/init.org b/init.org
index 800af12..c69823e 100644
--- a/init.org
+++ b/init.org
@@ -745,7 +745,7 @@ In short, my favourite way of life.
 
 #+begin_src emacs-lisp
 (use-package org
-  :defer 1
+  :defer 2
   :config
   (setq org-src-tab-acts-natively t
         org-src-preserve-indentation nil
@@ -850,7 +850,7 @@ Not just how I do git, but /the/ way to do git.
 
 #+begin_src emacs-lisp
 (use-package magit
-  :defer 1
+  :defer 2
   :bind (("C-x g" . magit-status)
          ("s-g s" . magit-status)
          ("s-g l" . magit-log-buffer-file))
@@ -905,7 +905,7 @@ There's no way I could top that, so I won't attempt to.
 
 #+begin_src emacs-lisp
 (use-package ivy
-  :defer 1
+  :defer 0.5
   :bind
   (:map ivy-minibuffer-map
    ([escape] . keyboard-escape-quit)
@@ -936,7 +936,7 @@ There's no way I could top that, so I won't attempt to.
 
 #+begin_src emacs-lisp
 (use-package counsel
-  :defer 1
+  :defer 0.6
   :after ivy
   :bind (([remap execute-extended-command] . counsel-M-x)
          ([remap find-file]                . counsel-find-file)
@@ -954,7 +954,7 @@ There's no way I could top that, so I won't attempt to.
 
 #+begin_src emacs-lisp
 (use-package eshell
-  :defer 1
+  :defer 2
   :commands eshell
   :bind ("C-c a s e" . eshell)
   :config
@@ -1235,7 +1235,7 @@ Automatically save place in each file.
 
 #+begin_src emacs-lisp
 (use-package company
-  :defer 1
+  :defer 3
   :bind
   (:map company-active-map
         ([tab]    . company-complete-common-or-cycle)
@@ -1844,7 +1844,7 @@ Emacs package that displays available keybindings in popup
 
 #+begin_src emacs-lisp
 (use-package helpful
-  :defer 1
+  :defer 3
   :bind
   (("C-S-h c" . helpful-command)
    ("C-S-h f" . helpful-callable)        ; helpful-function
@@ -1975,7 +1975,7 @@ Also see [[https://www.emacswiki.org/emacs/rebox2][rebox2]].
 
 #+begin_src emacs-lisp
 (use-package multi-term
-  :defer 1
+  :defer 3
   :bind (("C-c a s m" . multi-term-dedicated-toggle)
          :map term-mode-map
          ("C-c C-j" . term-char-mode)
diff --git a/lib/proof-site b/lib/proof-site
index f7cc8f1..7389d43 160000
--- a/lib/proof-site
+++ b/lib/proof-site
@@ -1 +1 @@
-Subproject commit f7cc8f1f76baf5e517e51f1db47510ed605064e8
+Subproject commit 7389d43893569ff0e1eff892254901876fc8225e
-- 
2.20.1