[elpa] externals/eev af917c9b9d: Added some links to (find-lean4-intro).

[ELPA Syncer]

branch: externals/eev
commit af917c9b9dc15c49a7e12eadcf205276468bd862
Author: Eduardo Ochs <eduardoochs@gmail.com>
Commit: Eduardo Ochs <eduardoochs@gmail.com>

    Added some links to (find-lean4-intro).
---
 ChangeLog    |  1 +
 VERSION      |  4 ++--
 eev-intro.el | 13 +++++++------
 3 files changed, 10 insertions(+), 8 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index 0ab0a80009..e1fc2edf40 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -3,6 +3,7 @@
        * eev-intro.el (find-emacs-keys-intro): list some key sequences
        for frames.
        (find-lean4-intro): many changes; made it work on Emacs28.
+       (find-lean4-intro): added some links.
 
 2024-07-26  Eduardo Ochs  <eduardoochs@gmail.com>
 
diff --git a/VERSION b/VERSION
index f127fcc4a0..eaa4d2db80 100644
--- a/VERSION
+++ b/VERSION
@@ -1,2 +1,2 @@
-Mon Jul 29 04:03:07 GMT 2024
-Mon Jul 29 01:03:07 -03 2024
+Mon Jul 29 05:03:02 GMT 2024
+Mon Jul 29 02:03:02 -03 2024
diff --git a/eev-intro.el b/eev-intro.el
index 5245ecf583..2b9f419280 100644
--- a/eev-intro.el
+++ b/eev-intro.el
@@ -17990,21 +17990,22 @@ then run this progn,
     (add-to-list 'package-archives
       '(\"melpa\" . \"https://melpa.org/packages/\";))
     ;;
-    (setq package-check-signature nil)
-    ;;
+    ;; See:
+    ;; https://mail.gnu.org/archive/html/help-gnu-emacs/2024-05/msg00248.html
     (package-initialize)
+    (setq package-check-signature nil)
     (package-refresh-contents)
+    (package-install 'gnu-elpa-keyring-update)
+    (setq package-check-signature t)
     ;;
-    ;; Make everything work on Emacs28:
+    ;; See:
+    ;; 
https://emacs.stackexchange.com/questions/80871/how-to-provide-updated-seq-package-to-magit
     (setq package-install-upgrade-built-in t)
-    (package-install 'gnu-elpa-keyring-update)
     (package-install 'compat)
     (package-install 'seq)
     (progn (unload-feature 'seq t) (require 'seq))
     (package-install 'magit)
     ;;
-    (setq package-check-signature nil)
-    ;;
     ;; Missing in the instructions for lean4-mode:
     (package-install 'company)
     ;;