[elpa] externals/eev 55f2548e3f: Added a video: "2024lean4of0"."

inks.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 @@ ;; «.ee

[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 1a81f9

[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 1

[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

[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 c

[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.e

[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

[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 in

[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 +++

[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-do

[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/cur

[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

[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

[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.

[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 2

[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 43fb3e13d

[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.e

[elpa] externals/eev 85894082c5: Several changes in (find-lean4-intro) and related code.

+;; 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! -UNFI

[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 lo

[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

[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

[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/R

[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