[elpa] externals/eev c4f6a3d489: Small changes, mostly for (find-lean4-intro).

[ELPA Syncer]

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

    Small changes, mostly for (find-lean4-intro).
---
 ChangeLog     | 12 ++++++++++++
 VERSION       |  4 ++--
 eev-intro.el  | 20 +++++++++++++-------
 eev-lean4.el  | 23 +++++++++++++++++++++--
 eev-rstdoc.el | 12 ++++++------
 eev-tlinks.el | 29 +++++++++++++++--------------
 eev.el        |  2 +-
 7 files changed, 70 insertions(+), 32 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index e1fc2edf40..969b3fc712 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,15 @@
+2024-07-31  Eduardo Ochs  <eduardoochs@gmail.com>
+
+       * eev-rstdoc.el: replaced all occurrences of "python3.9" by
+       "python3.11".
+
+2024-07-30  Eduardo Ochs  <eduardoochs@gmail.com>
+
+       * eev-tlinks.el (find-newbrowser2-links): renamed to
+       `find-altbrowser-links'.
+
+       * eev-intro.el (find-lean4-intro): Small changes.
+
 2024-07-29  Eduardo Ochs  <eduardoochs@gmail.com>
 
        * eev-intro.el (find-emacs-keys-intro): list some key sequences
diff --git a/VERSION b/VERSION
index eaa4d2db80..ab26d69983 100644
--- a/VERSION
+++ b/VERSION
@@ -1,2 +1,2 @@
-Mon Jul 29 05:03:02 GMT 2024
-Mon Jul 29 02:03:02 -03 2024
+Wed Jul 31 05:54:56 GMT 2024
+Wed Jul 31 02:54:56 -03 2024
diff --git a/eev-intro.el b/eev-intro.el
index 2b9f419280..97a62e212f 100644
--- a/eev-intro.el
+++ b/eev-intro.el
@@ -19,7 +19,7 @@
 ;;
 ;; Author:     Eduardo Ochs <eduardoochs@gmail.com>
 ;; Maintainer: Eduardo Ochs <eduardoochs@gmail.com>
-;; Version:    20240729
+;; Version:    20240731
 ;; Keywords:   e-scripts
 ;;
 ;; Latest version: <http://anggtwu.net/eev-current/eev-intro.el>
@@ -17908,11 +17908,16 @@ Use: (find-dot-emacs-links \"eevgit eev angges melpa 
lean4 maxima5470 mfms\")
   (find-leanmetadoc  \"main/01_intro\")
   (find-tclean4doc   \"trust/trust\")
   (find-tpil4doc     \"introduction\")
-  (find-fplean4page)
-  (find-lean4page)
-  (find-leanmetapage)
-  (find-tclean4page)
-  (find-tpil4page)
+  (find-fplean4page  9 \"Evaluating Expressions\")
+  (find-fplean4text  9 \"Evaluating Expressions\")
+  (find-lean4page    1 \"What is Lean\")
+  (find-lean4text    1 \"What is Lean\")
+  (find-leanmetapage 1 \"What's the goal of this book?\")
+  (find-leanmetatext 1 \"What's the goal of this book?\")
+  (find-tclean4page  5 \"Trust\")
+  (find-tclean4text  5 \"Trust\")
+  (find-tpil4page    1 \"Introduction\")
+  (find-tpil4text    1 \"Introduction\")
 
   Broken - I did not include this one:
   (find-leanrefdoc   \"using_lean#using-lean-with-emacs\")
@@ -18037,7 +18042,8 @@ an option (\"i\") to say that it is at the directory 
above, i.e., at:
 
   ~/.elan/toolchains/leanprover--lean4---stable/
 
-I don't understand projects and project roots well... =(
+Answer \"i\". Note: I don't understand projects and project roots well
+enough... =(
 
 
 
diff --git a/eev-lean4.el b/eev-lean4.el
index 2c824f1119..ecabc2ba60 100644
--- a/eev-lean4.el
+++ b/eev-lean4.el
@@ -282,7 +282,7 @@ local files for the leandoc PL."
 ;;     (kill-new \"/tmp/print.pdf\")
 ;;     {baseweb}print.html
 ;;
-;;  c) Copy the `print.pdf' to the right place:
+;;  c) Copy the `print.pdf' to the right (local) place:
 ;;     (find-sh0 \"cp -v /tmp/print.pdf {basewebl}\")
 ;;
 ;;  d) Generate the `print.txt':
@@ -290,11 +290,30 @@ local files for the leandoc PL."
 ;;     (find-{kw}docfile \"\" \"print\")
 ;;     (find-{kw}docsh \"pdftotext -layout print.pdf print.txt\")
 ;;     (find-{kw}docfile \"print.txt\")
-
+;;
+;;  e) Copy the `print.pdf' to anggtwu.net:
+
+ (eepitch-eshell)
+ (eepitch-kill)
+ (eepitch-eshell)
+ls                $S/https/{baseweb-}
+ls       $Linp/snarf/https/{baseweb-}
+ls       $Lins/snarf/https/{baseweb-}
+mkdir -p $Linp/snarf/https/{baseweb-}
+mkdir -p $Lins/snarf/https/{baseweb-}
+cp -v             $S/https/{baseweb-}print.pdf \\
+         $Linp/snarf/https/{baseweb-}
+cp -v             $S/https/{baseweb-}print.pdf \\
+         $Lins/snarf/https/{baseweb-}
 
 ;; 3. I use this to adjust how blogme htmlizes `find-{kw}doc':
 ;;    (find-blogme3-rstdoc-links \"{kw}\")
 ;;    ^ This only works on my machine!
+;;
+;; 4. Similar, but for `find-{kw}page':
+;;    (find-blogme3 \"sandwiches-defs.lua\")
+code_pdf(\"{kw}\", \"http://anggtwu.net/snarf/https/{baseweb-}print.pdf\";)
+
 ")
        )
       pos-spec-list))))
diff --git a/eev-rstdoc.el b/eev-rstdoc.el
index 8c0e1ec202..d5327566d0 100644
--- a/eev-rstdoc.el
+++ b/eev-rstdoc.el
@@ -19,7 +19,7 @@
 ;;
 ;; Author:     Eduardo Ochs <eduardoochs@gmail.com>
 ;; Maintainer: Eduardo Ochs <eduardoochs@gmail.com>
-;; Version:    20240619
+;; Version:    20240731
 ;; Keywords:   e-scripts
 ;;
 ;; Latest version: <http://anggtwu.net/eev-current/eev-rstdoc.el>
@@ -134,7 +134,7 @@
 ;;
 ;; The first two sexps above will open URLs like these ones:
 ;;
-;;   
file:///usr/share/doc/python3.9-doc/html/tutorial/controlflow.html#lambda-expressions
+;;   
file:///usr/share/doc/python3.11-doc/html/tutorial/controlflow.html#lambda-expressions
 ;;   https://docs.python.org/3/tutorial/controlflow.html#lambda-expressions
 ;;
 ;; i.e., the `find-pydoc' uses the local copy of the Python docs, that
@@ -142,7 +142,7 @@
 ;; copy "from the web", that takes longer. The third sexp, the one
 ;; with `find-pydocr', opens this file:
 ;;
-;;   /usr/share/doc/python3.9/html/_sources/tutorial/controlflow.rst.txt
+;;   /usr/share/doc/python3.11/html/_sources/tutorial/controlflow.rst.txt
 ;;
 ;; that is the source of "control.html", in RST format - see:
 ;;
@@ -237,7 +237,7 @@
 ;; and in a way that supposes that we are on Debian Stable, and that
 ;; we have these packages installed:
 ;;
-;;   python3.9-doc
+;;   python3.11-doc
 ;;   python-sympy-doc
 ;;   python-matplotlib-doc
 ;;
@@ -280,8 +280,8 @@
 (defvar ee-rstdoc-:py
       '(:base      "index"
         :base-web  "https://docs.python.org/3/";
-        :base-html "file:///usr/share/doc/python3.9-doc/html/"
-        :base-rst  "/usr/share/doc/python3.9/html/_sources/"
+        :base-html "file:///usr/share/doc/python3.11-doc/html/"
+        :base-rst  "/usr/share/doc/python3.11/html/_sources/"
         :rst       ".rst.txt"
         :res       ("#.*$" "\\?.*$" ".html$" ".txt$" ".rst$" "^file://"
                     "^https://docs.python.org/3/";
diff --git a/eev-tlinks.el b/eev-tlinks.el
index 9742931c03..431b41e78b 100644
--- a/eev-tlinks.el
+++ b/eev-tlinks.el
@@ -19,7 +19,7 @@
 ;;
 ;; Author:     Eduardo Ochs <eduardoochs@gmail.com>
 ;; Maintainer: Eduardo Ochs <eduardoochs@gmail.com>
-;; Version:    20240726
+;; Version:    20240731
 ;; Keywords:   e-scripts
 ;;
 ;; Latest version: <http://anggtwu.net/eev-current/eev-tlinks.el>
@@ -132,7 +132,7 @@
 ;; «.find-eeit-links»                  (to "find-eeit-links")
 ;; «.find-texlive-links»               (to "find-texlive-links")
 ;; «.find-newbrowser-links»            (to "find-newbrowser-links")
-;; «.find-newbrowser2-links»           (to "find-newbrowser2-links")
+;; «.find-altbrowser-links»            (to "find-altbrowser-links")
 ;; «.find-newpdfviewer-links»          (to "find-newpdfviewer-links")
 ;; «.ee-0x0-upload-region»             (to "ee-0x0-upload-region")
 ;; «.find-0x0-links»                   (to "find-0x0-links")
@@ -3120,7 +3120,7 @@ sudo ./install-tl -select-repository
      (find-efunction 'find-newbrowser-links)
      ""
      ";; Important: this function is OBSOLETE!"
-     ";; It was superseded by: (find-newbrowser2-links)"
+     ";; It was superseded by: (find-altbrowser-links)"
      ""
      ""
      ""
@@ -3221,23 +3221,24 @@ sudo ./install-tl -select-repository
 ;;; | | | |  __/\ V  V /| |_) | | | (_) \ V  V /\__ \  __/ |  / __/ 
 ;;; |_| |_|\___| \_/\_/ |_.__/|_|  \___/ \_/\_/ |___/\___|_| |_____|
 ;;;                                                                 
-;; «find-newbrowser2-links»  (to ".find-newbrowser2-links")
-;; Skel: (find-find-links-links-new "newbrowser2" "binary" "")
-;; Test: (find-newbrowser2-links)
+;; «find-altbrowser-links»  (to ".find-altbrowser-links")
+;; Skel: (find-find-links-links-new "altbrowser" "binary" "")
+;; Test: (find-altbrowser-links)
 ;;
-(defun find-newbrowser2-links (&optional binary &rest pos-spec-list)
+(defun find-altbrowser-links (&optional binary &rest pos-spec-list)
 "Visit a temporary buffer with instructions for making `find-googlechrome'
-call BINARY instead of \"google-chrome\"."
+use an alternate browser. More precisely, it shows how to redefine
+`find-googlechrome' to make it call BINARY instead of \"google-chrome\"."
   (interactive)
   (setq binary (or binary "{binary}"))
   (apply
    'find-elinks-elisp
-   `((find-newbrowser2-links ,binary ,@pos-spec-list)
-     (find-newbrowser2-links "{binary}" ,@pos-spec-list)
-     (find-newbrowser2-links "google-chrome" ,@pos-spec-list)
-     (find-newbrowser2-links "chromium" ,@pos-spec-list)
+   `((find-altbrowser-links ,binary ,@pos-spec-list)
+     (find-altbrowser-links "{binary}" ,@pos-spec-list)
+     (find-altbrowser-links "google-chrome" ,@pos-spec-list)
+     (find-altbrowser-links "chromium" ,@pos-spec-list)
      ;; Convention: the first sexp always regenerates the buffer.
-     (find-efunction 'find-newbrowser2-links)
+     (find-efunction 'find-altbrowser-links)
      ""
      ,(ee-template0 "\
 ;; Make `{binary}' the default browser.
@@ -3263,7 +3264,7 @@ call BINARY instead of \"google-chrome\"."
 ;; and run:
 ;;   
 ;;   (ee-copy-rest-3 nil \";;--end\" \"~/.emacs\")
-;; From: (find-newbrowser2-links \"{binary}\")
+;; From: (find-altbrowser-links \"{binary}\")
 ;; Test: (find-googlechrome \"https://www.lua.org/\";)
 (defun find-googlechrome (url) (find-bgprocess `(\"{binary}\" ,url)))
 ;;--end
diff --git a/eev.el b/eev.el
index 4349bd9b51..96473aa432 100644
--- a/eev.el
+++ b/eev.el
@@ -6,7 +6,7 @@
 ;; Package-Requires: ((emacs "25.1"))
 ;; Keywords: lisp e-scripts
 ;; URL: http://anggtwu.net/#eev
-;; Version: 20240726
+;; Version: 20240731
 
 ;; This program is free software; you can redistribute it and/or modify
 ;; it under the terms of the GNU General Public License as published by