[elpa] externals/eev 55f2548e3f: Added a video: "2024lean4of0"."
branch: externals/eev
commit 55f2548e3fdaec9977c7b58f4502979787030cec
Author: Eduardo Ochs
Commit: Eduardo Ochs
Added a video: "2024lean4of0"."
---
ChangeLog | 7 +++
VERSION | 4 ++--
eev-tlinks.el | 4 ++--
eev-videolinks.el | 18 +-
eev.el| 2 +-
5 files changed, 29 insertions(+), 6 deletions(-)
diff --git a/ChangeLog b/ChangeLog
index 2dae2bdf90..4f27c110e5 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,10 @@
+2024-07-26 Eduardo Ochs
+
+ * eev.el: bumped the version.
+
+ * eev-videolinks.el (ee-1stclassvideos-info): new video:
+ "2024lean4of0".
+
2024-07-25 Eduardo Ochs
* eev-blinks.el (ee-symbol-function): added a test for (fboundp
diff --git a/VERSION b/VERSION
index 99208d2f90..ccac3183e0 100644
--- a/VERSION
+++ b/VERSION
@@ -1,2 +1,2 @@
-Fri Jul 26 02:41:47 GMT 2024
-Thu Jul 25 23:41:47 -03 2024
+Fri Jul 26 05:30:34 GMT 2024
+Fri Jul 26 02:30:34 -03 2024
diff --git a/eev-tlinks.el b/eev-tlinks.el
index 67d6809b7a..92d4d3108f 100644
--- a/eev-tlinks.el
+++ b/eev-tlinks.el
@@ -3259,10 +3259,10 @@ call BINARY instead of \"google-chrome\"."
;; (find-dot-emacs-intro)
;; and run:
;;
-;; (ee-copy-rest-3 nil \";;--end\" \"~/.emacs\")
+;; (ee-copy-rest-3 nil \";;--end\" \"~/.emacs\")
;; From: (find-newbrowser2-links \"{binary}\")
+;; Test: (find-googlechrome \"https://www.lua.org/\";)
(defun find-googlechrome (url) (find-bgprocess `(\"{binary}\" ,url)))
-(find-googlechrome \"https://www.lua.org/\";)
;;--end
")
)
diff --git a/eev-videolinks.el b/eev-videolinks.el
index 77b4936ec7..719703e940 100644
--- a/eev-videolinks.el
+++ b/eev-videolinks.el
@@ -19,7 +19,7 @@
;;
;; Author: Eduardo Ochs
;; Maintainer: Eduardo Ochs
-;; Version:20240715
+;; Version:20240726
;; Keywords: e-scripts
;;
;; Latest version: <http://anggtwu.net/eev-current/eev-videolinks.el>
@@ -74,6 +74,7 @@
;; «.eev2023replsb» (to "eev2023replsb")
;; «.2024git»(to "2024git")
;; «.2024luaso» (to "2024luaso")
+;; «.2024lean4of0» (to "2024lean4of0")
;; «.2024algpergs» (to "2024algpergs")
;; «.ee-1stclassvideos-field» (to "ee-1stclassvideos-field")
;; «.second-class-videos» (to "second-class-videos")
@@ -829,6 +830,21 @@ of the videos and play them with mpv. Compare with
:subs".vtt"
:comment "See: (find-lua-tutorial-intro)")
;;
+;; «2024lean4of0» (to ".2024lean4of0")
+;; Play: (find-2024lean4of0video "0:00")
+;; Index: (find-1stclassvideoindex "2024lean4of0")
+("2024lean4of0"
+ :title "Oficina de Lean4 - versão 0"
+ :mp4 "http://anggtwu.net/eev-videos/2024-lean4-oficina-0.mp4";
+ :yt"http://www.youtube.com/watch?v=vBkxGIrv2Q0";
+ :page "http://anggtwu.net/2024-lean4-oficina-0.html";
+ :hsubs "http://anggtwu.net/2024-lean4-oficina-0.html#00:00";
+ :lang "portuguese"
+ :date"2024jul04"
+ :length "37:20"
+ :subs".vtt"
+ :comment "A video in Portuguese about a workshop on Lean4.")
+;;
;; «2024algpergs» (to ".2024algpergs")
;; Play: (find-2024algpergsvideo "0:00")
;; Index: (find-1stclassvideoindex "2024algpergs")
diff --git a/eev.el b/eev.el
index f5e7abf343..4349bd9b51 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: 20240718
+;; Version: 20240726
;; 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
[elpa] main e17f90cca1: copyright_exceptions (eev/eev-lean4.el): New entry
branch: main
commit e17f90cca154a02ffe3b5048a6dd4526c09bfeef
Author: Stefan Monnier
Commit: Stefan Monnier
copyright_exceptions (eev/eev-lean4.el): New entry
---
copyright_exceptions | 1 +
1 file changed, 1 insertion(+)
diff --git a/copyright_exceptions b/copyright_exceptions
index 1a81f98ef6..3712fff9da 100644
--- a/copyright_exceptions
+++ b/copyright_exceptions
@@ -38,6 +38,7 @@ capf-autosuggest/capf-autosuggest.el:;; assignment to the
FSF, see info node "(e
capf-autosuggest/capf-autosuggest.el:;; package is stored in GNU ELPA,
non-trivial patches require copyright
coterm/coterm.el:;; assignment to the FSF, see info node "(emacs) Copyright
Assignment".
coterm/coterm.el:;; package is stored in GNU ELPA, non-trivial patches require
copyright
+eev/eev-lean4.el:;; Try: ({k2}l \"Copyright\")
excorporate/excorporate-calfw.el:;; copyright assignment papers on file with
the FSF.
hyperbole/hib-doc-id.el:;; Copyright:
hyperbole/kotl/kotl-autoloads.el
[elpa] externals/openpgp 0f304a6262 1/3: Fix markup in "Usage" section
branch: externals/openpgp commit 0f304a62620811ee139b780c4245dfa51fbe375e Author: Philip Kaludercic Commit: Philip Kaludercic Fix markup in "Usage" section --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 68fe532af6..8fef0fec4b 100644 --- a/README.md +++ b/README.md @@ -24,7 +24,7 @@ Usage The package provides three commands for fetching a key (by fingerprint, key ID and email) and two commands for uploading a key (from a file or from your GPG keychain). Use C-h a openpgp- -RET to generate an overview. +RET to generate an overview. Contribute --
[elpa] externals/openpgp 69254001ea 3/3: Bump version to 1.0.2
branch: externals/openpgp commit 69254001eae10b3b162200082bcbc684363e84d7 Author: Philip Kaludercic Commit: Philip Kaludercic Bump version to 1.0.2 --- openpgp.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/openpgp.el b/openpgp.el index 00524504a6..757596daea 100644 --- a/openpgp.el +++ b/openpgp.el @@ -5,7 +5,7 @@ ;; Author: Philip Kaludercic ;; Maintainer: Philip Kaludercic <~pkal/public-in...@lists.sr.ht> ;; URL: https://git.sr.ht/~pkal/openpgp/ -;; Version: 1.0.1 +;; Version: 1.0.2 ;; Package-Requires: ((emacs "24.4")) ;; Keywords: convenience
[elpa] externals/openpgp updated (25babb1060 -> 69254001ea)
elpasync pushed a change to branch externals/openpgp. from 25babb1060 Bump version to 1.0.1 for GNU ELPA new 0f304a6262 Fix markup in "Usage" section new 489d53d075 Convert openpgp-fetch-... functions into commands new 69254001ea Bump version to 1.0.2 Summary of changes: README.md | 2 +- openpgp.el | 12 ++-- 2 files changed, 11 insertions(+), 3 deletions(-)
[elpa] externals/openpgp 489d53d075 2/3: Convert openpgp-fetch-... functions into commands
branch: externals/openpgp commit 489d53d075f46c8ae976f810f379f1bdb95c1c0b Author: Philip Kaludercic Commit: Philip Kaludercic Convert openpgp-fetch-... functions into commands --- openpgp.el | 10 +- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/openpgp.el b/openpgp.el index 0739515805..00524504a6 100644 --- a/openpgp.el +++ b/openpgp.el @@ -1,6 +1,6 @@ ;;; openpgp.el --- Client for keys.openpgp.org -*- lexical-binding: t; -*- -;; Copyright (C) 2020, 2023 Free Software Foundation, Inc. +;; Copyright (C) 2020, 2023, 2024 Free Software Foundation, Inc. ;; Author: Philip Kaludercic ;; Maintainer: Philip Kaludercic <~pkal/public-in...@lists.sr.ht> @@ -74,6 +74,7 @@ STATUS is a plist described in the docstring for `url-retrieve'." ;;;###autoload (defun openpgp-fetch-key-by-fingerprint (fingerprint) "Query key via FINGERPRINT and add to keychain." + (interactive "sFingerprint: ") (let ((fingerprint (string-remove-prefix "0X" (upcase fingerprint (url-retrieve (openpgp--api-url "by-fingerprint" fingerprint) #'openpgp--process-key))) @@ -81,13 +82,20 @@ STATUS is a plist described in the docstring for `url-retrieve'." ;;;###autoload (defun openpgp-fetch-key-by-keyid (keyid) "Query key via KEYID and add to keychain." + (interactive "sKey ID: ") (let ((keyid (string-remove-prefix "0X" (upcase keyid (url-retrieve (openpgp--api-url "by-keyid" keyid) #'openpgp--process-key))) +(declare-function message--name-table "message" (orig-string)) + ;;;###autoload (defun openpgp-fetch-key-by-email (email) "Query key via EMAIL and add to keychain." + (interactive (progn + (require 'message) + (cdr (mail-extract-address-components + (completing-read "Email: " (message--name-table "")) (url-retrieve (openpgp--api-url "by-email" (url-hexify-string email)) #'openpgp--process-key))
[elpa] externals/org-modern b9fce9786f: Fix #225
branch: externals/org-modern commit b9fce9786f8433d20212c72ec57757593a5ac81c Author: Daniel Mendler Commit: Daniel Mendler Fix #225 --- org-modern.el | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/org-modern.el b/org-modern.el index e1174a8d2e..261fd6c73b 100644 --- a/org-modern.el +++ b/org-modern.el @@ -902,8 +902,7 @@ whole buffer; otherwise, for the line at point." (when org-modern-todo (goto-char (point-min)) (while (< (point) (point-max)) -(when-let (((get-text-property (point) 'todo-state)) - (org-not-done-regexp (get-text-property (point) 'org-not-done-regexp)) +(when-let ((org-not-done-regexp (get-text-property (point) 'org-not-done-regexp)) (re (get-text-property (point) 'org-todo-regexp)) (re (concat " " re " ")) ((re-search-forward re (pos-eol) 'noerror)))
[nongnu] elpa/helm 09c61064a4: New command to navigate outline buffers
branch: elpa/helm commit 09c61064a4d369bbf5b6e3cb34e904e79b9306b4 Author: Thierry Volpiatto Commit: Thierry Volpiatto New command to navigate outline buffers --- helm-misc.el | 32 1 file changed, 32 insertions(+) diff --git a/helm-misc.el b/helm-misc.el index 104c9e41cd..b188eed52f 100644 --- a/helm-misc.el +++ b/helm-misc.el @@ -27,6 +27,8 @@ (declare-function jabber-chat-with "ext:jabber.el") (declare-function jabber-read-account "ext:jabber.el") (declare-function helm-comp-read "helm-mode") +(declare-function outline-back-to-heading "outline.el") +(declare-function outline-end-of-heading "outline.el") (defgroup helm-misc nil @@ -387,6 +389,36 @@ Default action change TZ environment variable locally to emacs." (delete-minibuffer-contents) (insert elm))) +;;;###autoload +(defun helm-outline () + "Basic helm navigation tool for outline buffers." + (interactive) + (cl-assert (buffer-local-value 'outline-minor-mode (current-buffer)) + nil "Not an outline enabled buffer") + (helm :sources (helm-build-sync-source "helm outline" + :candidates + (lambda () + (with-helm-current-buffer + (save-excursion + (goto-char (point-min)) + (cl-loop while (re-search-forward "^[*]+" nil t) +for beg = (match-beginning 0) +for end = (progn +(outline-end-of-heading) (point)) +do (jit-lock-fontify-now beg end) +and collect +(cons (buffer-substring beg end) beg) + :action (lambda (pos) + (goto-char pos) + (helm-highlight-current-line))) +:preselect (save-excursion + (when (condition-case _err + (outline-back-to-heading) + (error nil)) + (regexp-quote +(buffer-substring + (point) (progn (outline-end-of-heading) (point)) +:buffer "*helm outline*")) (provide 'helm-misc)
[nongnu] elpa/helm-core updated (bb063b47a4 -> 09c61064a4)
elpasync pushed a change to branch elpa/helm-core. from bb063b47a4 Be consistent with the return value of helm-common-dir-1 adds 09c61064a4 New command to navigate outline buffers No new revisions were added by this update. Summary of changes: helm-misc.el | 32 1 file changed, 32 insertions(+)
[nongnu] elpa/geiser 3b02581c84: fixes for new button types handling
branch: elpa/geiser commit 3b02581c8422d416d1d4dc3168db5cf7b0ef16fc Author: jao Commit: jao fixes for new button types handling Fixes issue #68. --- elisp/geiser-doc.el | 8 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/elisp/geiser-doc.el b/elisp/geiser-doc.el index 14350627c0..5d1d04b63c 100644 --- a/elisp/geiser-doc.el +++ b/elisp/geiser-doc.el @@ -1,6 +1,6 @@ ;;; geiser-doc.el --- Accessing scheme-provided documentation -*- lexical-binding: t; -*- -;; Copyright (C) 2009-2016, 2021-2022 Jose Antonio Ortega Ruiz +;; Copyright (C) 2009-2016, 2021-2022, 2024 Jose Antonio Ortega Ruiz ;; This program is free software; you can redistribute it and/or ;; modify it under the terms of the Modified BSD License. You should @@ -182,7 +182,7 @@ value if the default action should be skipped.") 'help-echo "Go to definition" 'follow-link t) -(defun geiser-doc-goto-source () +(defun geiser-doc-goto-source (&rest _) "Go to the definition of this item." (interactive) (when-let (link geiser-doc--buffer-link) @@ -197,7 +197,7 @@ value if the default action should be skipped.") 'help-echo "Look up in Scheme manual" 'follow-link t) -(defun geiser-doc-goto-manual () +(defun geiser-doc-goto-manual (&rest _) "Go to the manual for this item." (interactive) (when-let (link geiser-doc--buffer-link) @@ -208,7 +208,7 @@ value if the default action should be skipped.") (defun geiser-doc--insert-doc-buttons (impl) (when (geiser-impl--method 'external-help impl) -(insert-text-button "[manual]" :type 'geiser-doc--xbutton) +(insert-text-button "[manual]" :type 'geiser-doc-manual) (insert " ")) (insert-text-button "[source]" :type 'geiser-doc-source))
[elpa] externals/cursor-undo 00026ca3ff: * cursor-undo.el: advised functions now return original function value.
branch: externals/cursor-undo commit 00026ca3ff4e386100b2afead1648e20a06a3f3d Author: Luke Lee Commit: Luke Lee * cursor-undo.el: advised functions now return original function value. --- cursor-undo.el | 16 +--- 1 file changed, 9 insertions(+), 7 deletions(-) diff --git a/cursor-undo.el b/cursor-undo.el index 3f0aea01e5..aafa26957b 100644 --- a/cursor-undo.el +++ b/cursor-undo.el @@ -5,7 +5,7 @@ ;; Author: Luke Lee ;; Maintainer: Luke Lee ;; Keywords: undo, cursor -;; Version: 1.1.1 +;; Version: 1.1.2 ;; GNU Emacs is free software: you can redistribute it and/or modify ;; it under the terms of the GNU General Public License as published by @@ -181,11 +181,12 @@ relative screen position (screen-pos=NIL) nor `point' position (no-move=t).")) ;; prevent nested calls for complicated compound commands (cundo-enable-cursor-tracking nil) (prev-point (point)) - (prev-screen-start)) + (prev-screen-start) + (result)) ,@(when screen-pos '((if cursor-tracking (setq prev-screen-start (window-start) - (apply orig-func args) + (setq result (apply orig-func args)) ;; This is a helper for commands that might take long. eg. page-up/ ;; page-down in big files, or line-up/down in big files when marking. (unless @@ -232,7 +233,8 @@ relative screen position (screen-pos=NIL) nor `point' position (no-move=t).")) '((push prev-point buffer-undo-list))) ;;(abbrevmsg (format "c=%S,%S b=%S" last-command this-command ;; buffer-undo-list) 128) ;; DBG - (undo-boundary)) + (undo-boundary)) + result ;; ;; Disable cursor tracking during miscellaneous operations that could cause @@ -268,7 +270,7 @@ relative screen position (screen-pos=NIL) nor `point' position (no-move=t).")) ;; you don't even notice and keep undoing other cursor commands you ;; don't want to undo at all. In this case, you can switch the buffer ;; to read-only mode (by setting `buffer-read-only' to 't), then long -;; press utill the undo command warns that you that you're +;; press untill the undo command warns that you that you're ;; trying to edit a read-only buffer. At this point you're exactly at ;; the latest editing position where you are looking for. Now you can ;; then safely set `buffer-read-only' back to NIL and continue your @@ -293,8 +295,6 @@ relative screen position (screen-pos=NIL) nor `point' position (no-move=t).")) (apply orig-func args)) (apply orig-func args -(provide 'cursor-undo) - ;;; ;;; Advice cursor movement commands ;;; @@ -641,4 +641,6 @@ relative screen position (screen-pos=NIL) nor `point' position (no-move=t).")) (def-cursor-undo viper-beginning-of-line) (def-cursor-undo viper-repeat-find t t) +(provide 'cursor-undo) + ;;; cursor-undo.el ends here
[elpa] externals/auctex 2b043b61bb 1/2: ; * tex-site.el.in: Pacify the compiler.
branch: externals/auctex commit 2b043b61bb12a81bbfd17ea72bb7394f41b89a9f Author: Arash Esbati Commit: Arash Esbati ; * tex-site.el.in: Pacify the compiler. --- tex-site.el.in | 3 +++ 1 file changed, 3 insertions(+) diff --git a/tex-site.el.in b/tex-site.el.in index 2e8b4b505a..1d2da038aa 100644 --- a/tex-site.el.in +++ b/tex-site.el.in @@ -106,6 +106,9 @@ shared by all users of a site." ;; Tell emacs to continue standard unloading procedure. nil) +;; Silence the compiler for the variable defined below: +(defvar TeX-modes) + (defun TeX-modes-set (var value &optional _ignored) "Set VAR (which should be `TeX-modes') to VALUE.
[elpa] externals/auctex updated (441a2416f6 -> b02f3e76d6)
elpasync pushed a change to branch externals/auctex. from 441a2416f6 Merge remote-tracking branch 'origin/master' new 2b043b61bb ; * tex-site.el.in: Pacify the compiler. new b02f3e76d6 * NEWS.org (Changed): Describe the new repo structure. Summary of changes: NEWS.org | 17 + tex-site.el.in | 3 +++ 2 files changed, 20 insertions(+)
[elpa] externals/auctex b02f3e76d6 2/2: * NEWS.org (Changed): Describe the new repo structure.
branch: externals/auctex commit b02f3e76d6a9d2acf3e174ceabf341284088391e Author: Arash Esbati Commit: Arash Esbati * NEWS.org (Changed): Describe the new repo structure. --- NEWS.org | 17 + 1 file changed, 17 insertions(+) diff --git a/NEWS.org b/NEWS.org index 2a27df2f23..6fcce2707c 100644 --- a/NEWS.org +++ b/NEWS.org @@ -13,6 +13,23 @@ - Add new support files =style/authblk.el=, =style/ninecolors.el=, =style/supertabular.el=, =style/tabularray.el= and =style/xtab.el=. +** Changed + +- AUCTeX 13.3 marks the last standalone tarball release. From now on, + AUCTeX releases are made available through the + [[https://elpa.gnu.org/packages/auctex.html][Emacs Lisp Package + Archive (ELPA)]]. Distro packagers are encouraged to use the ELPA + packages as-is and install them under one of the new Emacs locations + for system-wide packages, see ~package-directory-list~. + + At the same time, development is now done on the =main= branch and the + =master= branch has been deleted. Its last state has been pushed as + =auctex-13= branch for archiving purposes but it won't get any updates + anymore. + + For users who tracked the master branch: Do =git switch main= to + switch to the main branch where development takes place nowadays. + * [14.0.6] - 2024-06-30 ** Added
[elpa] externals/org-modern 144ccef219: Try a different face remapping scheme
branch: externals/org-modern commit 144ccef2196043955cf750753b8d2febc868b312 Author: Daniel Mendler Commit: Daniel Mendler Try a different face remapping scheme --- org-modern.el | 7 --- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/org-modern.el b/org-modern.el index 261fd6c73b..4f99457b5b 100644 --- a/org-modern.el +++ b/org-modern.el @@ -661,9 +661,10 @@ whole buffer; otherwise, for the line at point." (face-attribute 'default :background nil t)) (org-modern--update-label-face))) (let ((face-remapping-alist - (if-let ((d (ensure-list (cdr (assq 'default face-remapping-alist) - `((default org-table ,@d default)) - '((default org-table default) + `((default org-table +,@(or (ensure-list (cdr (assq 'default face-remapping-alist))) + '(default))) + ,@face-remapping-alist))) (setq org-modern--table-sp-width (default-font-width))) (setf (cadr org-modern--table-overline) (face-attribute 'org-table :foreground nil t)))
[elpa] externals/marginalia 7a7f3363d0: Version 1.7
branch: externals/marginalia commit 7a7f3363d042d1bf43ae697f4401638ed18230a5 Author: Daniel Mendler Commit: Daniel Mendler Version 1.7 --- CHANGELOG.org | 2 +- marginalia.el | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/CHANGELOG.org b/CHANGELOG.org index 43fb3e13de..c9cc6b4c44 100644 --- a/CHANGELOG.org +++ b/CHANGELOG.org @@ -2,7 +2,7 @@ #+author: Omar Antolín Camarena, Daniel Mendler #+language: en -* Development +* Version 1.7 (2024-07-26) - Bump Compat dependency to Compat 30. - Advise both ~completion-metadata-get~ and ~(compat-function diff --git a/marginalia.el b/marginalia.el index 48f9728352..bafc72f2af 100644 --- a/marginalia.el +++ b/marginalia.el @@ -5,7 +5,7 @@ ;; Author: Omar Antolín Camarena , Daniel Mendler ;; Maintainer: Omar Antolín Camarena , Daniel Mendler ;; Created: 2020 -;; Version: 1.6 +;; Version: 1.7 ;; Package-Requires: ((emacs "27.1") (compat "30")) ;; Homepage: https://github.com/minad/marginalia ;; Keywords: docs, help, matching, completion
[elpa] externals/vertico d70fdeb67b: Version 1.9
branch: externals/vertico commit d70fdeb67be9ecc88c438039eefa9ef0e2104005 Author: Daniel Mendler Commit: Daniel Mendler Version 1.9 --- CHANGELOG.org | 2 +- extensions/vertico-buffer.el | 4 ++-- extensions/vertico-directory.el | 4 ++-- extensions/vertico-flat.el| 4 ++-- extensions/vertico-grid.el| 4 ++-- extensions/vertico-indexed.el | 4 ++-- extensions/vertico-mouse.el | 4 ++-- extensions/vertico-multiform.el | 4 ++-- extensions/vertico-quick.el | 4 ++-- extensions/vertico-repeat.el | 4 ++-- extensions/vertico-reverse.el | 4 ++-- extensions/vertico-suspend.el | 4 ++-- extensions/vertico-unobtrusive.el | 4 ++-- vertico.el| 2 +- 14 files changed, 26 insertions(+), 26 deletions(-) diff --git a/CHANGELOG.org b/CHANGELOG.org index beb55a36f9..b7ac3a284d 100644 --- a/CHANGELOG.org +++ b/CHANGELOG.org @@ -2,7 +2,7 @@ #+author: Daniel Mendler #+language: en -* Development +* Version 1.9 (2024-07-26) - Bump Compat dependency to Compat 30. - ~vertico-buffer~: Fix bug regarding deleted windows. diff --git a/extensions/vertico-buffer.el b/extensions/vertico-buffer.el index af81d69ddd..c4df781bd9 100644 --- a/extensions/vertico-buffer.el +++ b/extensions/vertico-buffer.el @@ -5,8 +5,8 @@ ;; Author: Daniel Mendler ;; Maintainer: Daniel Mendler ;; Created: 2021 -;; Version: 1.8 -;; Package-Requires: ((emacs "27.1") (compat "30") (vertico "1.8")) +;; Version: 1.9 +;; Package-Requires: ((emacs "27.1") (compat "30") (vertico "1.9")) ;; Homepage: https://github.com/minad/vertico ;; This file is part of GNU Emacs. diff --git a/extensions/vertico-directory.el b/extensions/vertico-directory.el index c821bb9806..536c017d4f 100644 --- a/extensions/vertico-directory.el +++ b/extensions/vertico-directory.el @@ -5,8 +5,8 @@ ;; Author: Daniel Mendler ;; Maintainer: Daniel Mendler ;; Created: 2021 -;; Version: 1.8 -;; Package-Requires: ((emacs "27.1") (compat "30") (vertico "1.8")) +;; Version: 1.9 +;; Package-Requires: ((emacs "27.1") (compat "30") (vertico "1.9")) ;; Homepage: https://github.com/minad/vertico ;; This file is part of GNU Emacs. diff --git a/extensions/vertico-flat.el b/extensions/vertico-flat.el index 1d0cf9f376..e0f93e531c 100644 --- a/extensions/vertico-flat.el +++ b/extensions/vertico-flat.el @@ -5,8 +5,8 @@ ;; Author: Daniel Mendler ;; Maintainer: Daniel Mendler ;; Created: 2021 -;; Version: 1.8 -;; Package-Requires: ((emacs "27.1") (compat "30") (vertico "1.8")) +;; Version: 1.9 +;; Package-Requires: ((emacs "27.1") (compat "30") (vertico "1.9")) ;; Homepage: https://github.com/minad/vertico ;; This file is part of GNU Emacs. diff --git a/extensions/vertico-grid.el b/extensions/vertico-grid.el index 7eb0434165..35eaa01e37 100644 --- a/extensions/vertico-grid.el +++ b/extensions/vertico-grid.el @@ -5,8 +5,8 @@ ;; Author: Daniel Mendler ;; Maintainer: Daniel Mendler ;; Created: 2021 -;; Version: 1.8 -;; Package-Requires: ((emacs "27.1") (compat "30") (vertico "1.8")) +;; Version: 1.9 +;; Package-Requires: ((emacs "27.1") (compat "30") (vertico "1.9")) ;; Homepage: https://github.com/minad/vertico ;; This file is part of GNU Emacs. diff --git a/extensions/vertico-indexed.el b/extensions/vertico-indexed.el index ecf52c3b2c..84bed67e58 100644 --- a/extensions/vertico-indexed.el +++ b/extensions/vertico-indexed.el @@ -5,8 +5,8 @@ ;; Author: Daniel Mendler ;; Maintainer: Daniel Mendler ;; Created: 2021 -;; Version: 1.8 -;; Package-Requires: ((emacs "27.1") (compat "30") (vertico "1.8")) +;; Version: 1.9 +;; Package-Requires: ((emacs "27.1") (compat "30") (vertico "1.9")) ;; Homepage: https://github.com/minad/vertico ;; This file is part of GNU Emacs. diff --git a/extensions/vertico-mouse.el b/extensions/vertico-mouse.el index a54a11e3f6..b2d55dba61 100644 --- a/extensions/vertico-mouse.el +++ b/extensions/vertico-mouse.el @@ -5,8 +5,8 @@ ;; Author: Daniel Mendler ;; Maintainer: Daniel Mendler ;; Created: 2021 -;; Version: 1.8 -;; Package-Requires: ((emacs "27.1") (compat "30") (vertico "1.8")) +;; Version: 1.9 +;; Package-Requires: ((emacs "27.1") (compat "30") (vertico "1.9")) ;; Homepage: https://github.com/minad/vertico ;; This file is part of GNU Emacs. diff --git a/extensions/vertico-multiform.el b/extensions/vertico-multiform.el index 830077eb5d..d9c5b0321c 100644 --- a/extensions/vertico-multiform.el +++ b/extensions/vertico-multiform.el @@ -5,8 +5,8 @@ ;; Author: Daniel Mendler ;; Maintainer: Daniel Mendler ;; Created: 2021 -;; Version: 1.8 -;; Package-Requires: ((emacs "27.1") (compat "30") (vertico "1.8")) +;; Version: 1.9 +;; Package-Requires: ((emacs "27.1") (compat "30") (vertico "1.9")) ;; Homepage: https://github.com/minad/vertico ;; This file is part of GNU Emacs. diff --git a/extensions/vertico-quick.el b/extensions/vertico-quick.el index 3ede9e2b5b..30b39ddcba 100644 --- a/extensions/vertico-quick.el +++ b/exten
[elpa] externals/eev 85894082c5: Several changes in (find-lean4-intro) and related code.
branch: externals/eev commit 85894082c5f4de2617e9e7efee30817708174f7e Author: Eduardo Ochs Commit: Eduardo Ochs Several changes in (find-lean4-intro) and related code. --- ChangeLog | 2 ++ VERSION | 4 +-- eev-intro.el | 104 +++--- eev-lean4.el | 22 ++--- eev-tlinks.el | 12 +-- 5 files changed, 124 insertions(+), 20 deletions(-) diff --git a/ChangeLog b/ChangeLog index 4f27c110e5..4de12e3d8d 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,7 @@ 2024-07-26 Eduardo Ochs + * eev-tlinks.el (ee-dot-emacs-eevgit): new function. + * eev.el: bumped the version. * eev-videolinks.el (ee-1stclassvideos-info): new video: diff --git a/VERSION b/VERSION index ccac3183e0..bb452b0c12 100644 --- a/VERSION +++ b/VERSION @@ -1,2 +1,2 @@ -Fri Jul 26 05:30:34 GMT 2024 -Fri Jul 26 02:30:34 -03 2024 +Sat Jul 27 00:17:49 GMT 2024 +Fri Jul 26 21:17:49 -03 2024 diff --git a/eev-intro.el b/eev-intro.el index d9ccf313b0..21c32589f7 100644 --- a/eev-intro.el +++ b/eev-intro.el @@ -19,7 +19,7 @@ ;; ;; Author: Eduardo Ochs ;; Maintainer: Eduardo Ochs -;; Version:20240724 +;; Version:20240726 ;; Keywords: e-scripts ;; ;; Latest version: <http://anggtwu.net/eev-current/eev-intro.el> @@ -17799,18 +17799,24 @@ This buffer is _temporary_ and _editable_. It is meant as both a tutorial and a sandbox. -Warning: WORK IN PROGRESS! -VERY EARLY DRAFT! -UNFINISHED! UNTESTED! +THIS IS A WORK IN PROGRESS!!! +I am using it in this workshop: + Page: http://anggtwu.net/2024-lean4-oficina-0.html + Play: (find-2024lean4of0video \"00:00\") + HSubs: (find-2024lean4of0hsubs \"00:00\") + Info: (find-1stclassvideo-links \"2024lean4of0\") 0. Prerequisites +See: http://anggtwu.net/2024-first-executable-notes.html +Copy the rest of this section to your ~/TODO, and try to +understand its links: + (find-eev-quick-intro \"7. Quick access to one-liners\") (find-eev-quick-intro \"7. Quick access to one-liners\" \"forget\") - http://anggtwu.net/2024-lean4-oficina-0.html (find-windows-beginner-intro) (find-windows-beginner-intro \"6. Learn the basics of Emacs and eev\") @@ -17828,7 +17834,6 @@ UNFINISHED! UNTESTED! (find-eev-quick-intro \"5. Links to Emacs documentation\") (find-eev-quick-intro \"5.1. Navigating the Emacs manuals\") (find-eev-quick-intro \"5.2. Cutting and pasting\") -http://anggtwu.net/IMAGES/2024-emacs-cut-copy-and-paste.png http://anggtwu.net/2024-find-dot-emacs-links.html (find-eev-quick-intro \"6.1. The main key: \") @@ -17880,6 +17885,7 @@ UNFINISHED! UNTESTED! cd /tmp/ wget -N http://anggtwu.net/tmp/2024-lean4-oficina-manuais.tgz # (find-fline\"/tmp/2024-lean4-oficina-manuais.tgz\") + tar-tvzf /tmp/2024-lean4-oficina-manuais.tgz tar -C $S/ -xvzf /tmp/2024-lean4-oficina-manuais.tgz @@ -17887,7 +17893,7 @@ UNFINISHED! UNTESTED! 2. Setup the ~/.emacs = See: http://anggtwu.net/2024-find-dot-emacs-links.html -Use: (find-dot-emacs-links \"eev angges melpa lean4 maxima5470 mfms\") +Use: (find-dot-emacs-links \"eevgit eev angges melpa lean4 maxima5470 mfms\") @@ -17913,12 +17919,52 @@ Use: (find-dot-emacs-links \"eev angges melpa lean4 maxima5470 mfms\") 4. Install Lean4 +Follow the instructions here: + (find-es \"lean\" \"install-2024\") +i.e.,: + + (eepitch-shell) + (eepitch-kill) + (eepitch-shell) + rm -Rv /tmp/elan-install/ + mkdir /tmp/elan-install/ + cd /tmp/elan-install/ + curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf \ +| sh -s -- --default-toolchain leanprover/lean4:stable + +The installer will ask if you want it to change some files like +~/.bashrc and ~/.zshrc to include ~/.elan/bin/ in the PATH. If you're +only going to use Lean from Emacs, say no - because of this: + + (find-eev \"eev-lean4.el\" \"PATH\") + + + + +5. Take a look at the libraries +=== +If everything went right then the installer will put Lean's libraries +here, + + (find-fline \"~/.elan/toolchains/\") + (find-fline \"~/.elan/toolchains/leanprover--lean4---stable/\") + +and these short hyperlink should work: + + (find-lean4prefile \"\") + (find-lean4presh \"find * | sort\") + +If they don't work you will need to override a `code-c-d' that is here: + + (find-eev \"eev-lean4.el\" \"code-c-ds\") + + -5. Install lean4-mode +6. Install lean4-mode = The instructions in @@ -17939,17 +17985,53 @@ then run this progn, (package-install 'flycheck) (pa
[elpa] externals/activities 97e0a21bd5 1/3: Fix: (activities-bookmark-handler) Add autoload cookie
branch: externals/activities commit 97e0a21bd5a2fad7ca5ad97f414e6459ceaf78fb Author: Joseph Turner Commit: Joseph Turner Fix: (activities-bookmark-handler) Add autoload cookie Previously, if the user ran bookmark-jump and selected an activity bookmark before activities.el was loaded, Emacs would signal an error. --- activities.el | 1 + 1 file changed, 1 insertion(+) diff --git a/activities.el b/activities.el index e1d946050b..9e2279c335 100644 --- a/activities.el +++ b/activities.el @@ -888,6 +888,7 @@ with prefix argument, choose another activity." (handler . activities-bookmark-handler (bookmark-store bookmark-name props nil))) +;;;###autoload (defun activities-bookmark-handler (bookmark) "Switch to BOOKMARK's activity." (activities-resume (map-elt activities-activities (bookmark-prop-get bookmark 'activities-name
[elpa] externals/activities 722093a109 3/3: Merge: Autoload bookmark handler
branch: externals/activities commit 722093a1098952105bc17d2598fc9dc5f66e23ba Merge: fa4b9a5f49 83f66291e6 Author: Adam Porter Commit: Adam Porter Merge: Autoload bookmark handler Closes #114. Reported-by: Joseph Turner --- README.org| 1 + activities.el | 1 + 2 files changed, 2 insertions(+) diff --git a/README.org b/README.org index 255bba04f4..46359897d6 100644 --- a/README.org +++ b/README.org @@ -157,6 +157,7 @@ When option ~activities-bookmark-store~ is enabled, an Emacs bookmark is stored + Race condition when restoring multiple activities in rapid succession from user code. ([[https://github.com/alphapapa/activity.el/pull/98][#98]]. Thanks to [[https://github.com/jdtsmith][JD Smith]].) + Command ~activities-resume~ resets when called with a universal prefix argument. ([[https://github.com/alphapapa/activities.el/pull/75][#75]]. Thanks to [[https://breatheoutbreathe.in][Joseph Turner]].) + Refreshing activities list. ([[https://github.com/alphapapa/activities.el/pull/77][#77]]. Thanks to [[https://breatheoutbreathe.in][Joseph Turner]].) ++ Autoload bookmark handler. ([[https://github.com/alphapapa/activity.el/pull/114][#114]]. Thanks to [[https://breatheoutbreathe.in][Joseph Turner]].) ** v0.7 diff --git a/activities.el b/activities.el index e1d946050b..9e2279c335 100644 --- a/activities.el +++ b/activities.el @@ -888,6 +888,7 @@ with prefix argument, choose another activity." (handler . activities-bookmark-handler (bookmark-store bookmark-name props nil))) +;;;###autoload (defun activities-bookmark-handler (bookmark) "Switch to BOOKMARK's activity." (activities-resume (map-elt activities-activities (bookmark-prop-get bookmark 'activities-name
[elpa] externals/activities updated (fa4b9a5f49 -> 722093a109)
elpasync pushed a change to branch externals/activities. from fa4b9a5f49 Merge: (activities-tab-prefix) Remove obsolete variable new 97e0a21bd5 Fix: (activities-bookmark-handler) Add autoload cookie new 83f66291e6 Docs: Update changelog new 722093a109 Merge: Autoload bookmark handler Summary of changes: README.org| 1 + activities.el | 1 + 2 files changed, 2 insertions(+)
[elpa] externals/activities 83f66291e6 2/3: Docs: Update changelog
branch: externals/activities commit 83f66291e6b72ee4d467e3cff91dc461b0ed8eaf Author: Adam Porter Commit: Adam Porter Docs: Update changelog --- README.org | 1 + 1 file changed, 1 insertion(+) diff --git a/README.org b/README.org index 255bba04f4..46359897d6 100644 --- a/README.org +++ b/README.org @@ -157,6 +157,7 @@ When option ~activities-bookmark-store~ is enabled, an Emacs bookmark is stored + Race condition when restoring multiple activities in rapid succession from user code. ([[https://github.com/alphapapa/activity.el/pull/98][#98]]. Thanks to [[https://github.com/jdtsmith][JD Smith]].) + Command ~activities-resume~ resets when called with a universal prefix argument. ([[https://github.com/alphapapa/activities.el/pull/75][#75]]. Thanks to [[https://breatheoutbreathe.in][Joseph Turner]].) + Refreshing activities list. ([[https://github.com/alphapapa/activities.el/pull/77][#77]]. Thanks to [[https://breatheoutbreathe.in][Joseph Turner]].) ++ Autoload bookmark handler. ([[https://github.com/alphapapa/activity.el/pull/114][#114]]. Thanks to [[https://breatheoutbreathe.in][Joseph Turner]].) ** v0.7
[elpa] externals/denote c9de283410: Document a custom denote-region that references the source
branch: externals/denote commit c9de28341085218f75eecd0702e3690a9923d3d2 Author: Protesilaos Stavrou Commit: Protesilaos Stavrou Document a custom denote-region that references the source --- README.org | 64 ++ 1 file changed, 64 insertions(+) diff --git a/README.org b/README.org index a3571bde00..877ec3b8e3 100644 --- a/README.org +++ b/README.org @@ -837,6 +837,70 @@ the following will prompt for a structure template as soon as Remember that ~denote-region-after-new-note-functions~ are not called if ~denote-region~ is used without an active region. +*** A custom ~denote-region~ that references the source +:PROPERTIES: +:CUSTOM_ID: h:eb72086e-05be-4ae3-af51-7616999fc7c9 +:END: + +The ~denote-region~ command simply creates a new note and includes the +highlighted region's contents as the initial text of the note ([[#h:2f8090f1-50af-4965-9771-d5a91a0a87bd][Create a note with the region's contents]]). +However, users may want a more streamlined workflow where the command +is always used to capture quotes from other sources. In this example, +we consider "other sources" to come from Emacs EWW buffers (with ~M-x +eww~) or regular files outside the ~denote-directory~. + +[ This is a proof-of-concept that does not cover all cases. If anyone + wants to use a variation of this, just let me know. ] + +#+begin_src emacs-lisp +;; Variant of `my-denote-region' to reference the source + +(defun my-denote-region-get-source-reference () + "Get a reference to the source for use with `my-denote-region'. +The reference is a URL or an Org-formatted link to a file." + ;; We use a `cond' here because we can extend it to cover move + ;; cases. + (cond + ((derived-mode-p 'eww-mode) +(plist-get eww-data :url)) + ;; Here we are just assuming an Org format. We can make this more + ;; involved, if needed. + (buffer-file-name +(format "[[file:%s][%s]]" buffer-file-name (buffer-name) + +(defun my-denote-region () + "Like `denote-region', but add the context afterwards. +For how the context is retrieved, see `my-denote-region-get-source-reference'." + (interactive) + (let ((context (my-denote-region-get-source-reference))) +(call-interactively 'denote-region) +(when context + (goto-char (point-max)) + (insert "\n") + (insert context + +;; Add quotes around snippets of text captured with `denote-region' or `my-denote-region'. + +(defun my-denote-region-org-structure-template (beg end) + "Automatically quote (with Org syntax) the contents of `denote-region'." + (when (derived-mode-p 'org-mode) +(goto-char end) +(insert "#+end_quote\n") +(goto-char beg) +(insert "#+begin_quote\n"))) + +(add-hook 'denote-region-after-new-note-functions #'my-denote-region-org-structure-template) +#+end_src + +With the above in place, calling the ~my-denote-region~ command does +the following: + +- It creates a new note as usual, prompting for the relevant data. +- Inserts the contents of the region below the front matter of the new + note. +- Adds Org-style quotation block markers around the inserted region. +- Adds a link to the URL or file from where ~my-denote-region~ was called. + ** Open an existing note or create it if missing :PROPERTIES: :CUSTOM_ID: h:ad91ca39-cf10-4e16-b224-fdf78f093883
