[elpa] externals/lin bf149502de: Operate only in non-hidden buffers when enabling/disabling the mode

branch: externals/lin commit bf149502de09786c8d906c92a950b7b21fb2ae54 Author: Protesilaos Stavrou Commit: Protesilaos Stavrou Operate only in non-hidden buffers when enabling/disabling the mode --- lin.el | 16 1 file changed, 12 insertions(+), 4 deletions(-) diff --git a/

[nongnu] elpa/haskell-ts-mode 0d2c2b746f 1/3: Fixed indentation of where

branch: elpa/haskell-ts-mode commit 0d2c2b746f0ebfdcc141689b69d5bdd4daab9120 Author: pranshu Commit: pranshu Fixed indentation of where Now offset is 4 --- haskell-ts-mode.el | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/haskell-ts-mode.el b/haskell-ts-mod

[nongnu] elpa/haskell-ts-mode updated (0be6d1c39b -> 75ea1a0454)

elpasync pushed a change to branch elpa/haskell-ts-mode. from 0be6d1c39b Merge pull request 'Fix byte-compile warnings' (#1) from syohex/haskell-ts-mode:fix-byte-compile-warnings into main new 0d2c2b746f Fixed indentation of where new b71c5f37f4 Forgot to set indent rules b

[nongnu] elpa/haskell-ts-mode 75ea1a0454 3/3: Fixed more indent

branch: elpa/haskell-ts-mode commit 75ea1a045411dd8c329257e4c3e8761ab281e525 Author: pranshu Commit: pranshu Fixed more indent Now indent does not change AST, tested using ghc --- haskell-ts-mode.el | 11 +++ 1 file changed, 7 insertions(+), 4 deletions(-) diff --git a/has

[nongnu] elpa/haskell-ts-mode b71c5f37f4 2/3: Forgot to set indent rules back to defvar(again)

branch: elpa/haskell-ts-mode commit b71c5f37f441b3cb125aea2f15e69ec9d322fe95 Author: pranshu Commit: pranshu Forgot to set indent rules back to defvar(again) --- haskell-ts-mode.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/haskell-ts-mode.el b/haskell-ts-mode.el in

[elpa] externals/eev c88e745c65: Many changes in (find-try-sly-intro).

:46 -03 2024 diff --git a/eev-intro.el b/eev-intro.el index c937d1120e..e578719c14 100644 --- a/eev-intro.el +++ b/eev-intro.el @@ -19,7 +19,7 @@ ;; ;; Author: Eduardo Ochs ;; Maintainer: Eduardo Ochs -;; Version:20240904 +;; Version:20240905 ;; Keywords: e-scripts ;; ;; Latest

[elpa] externals/ef-themes 9c9a713e0b: Add explicit support for forge package

branch: externals/ef-themes commit 9c9a713e0b98daaf6d83cfd459ddcc7743668081 Author: Protesilaos Stavrou Commit: Protesilaos Stavrou Add explicit support for forge package --- README.org | 2 +- ef-themes.el | 17 + 2 files changed, 18 insertions(+), 1 deletion(-) diff --

[elpa] externals/modus-themes 1725bfd1ed: Refine support for forge

branch: externals/modus-themes commit 1725bfd1ed2b621349d80682c7fa5529ccfb7cba Author: Protesilaos Stavrou Commit: Protesilaos Stavrou Refine support for forge --- modus-themes.el | 7 --- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/modus-themes.el b/modus-themes.el in

[elpa] externals/orderless 860a10222a: orderless-expand-prefix: Support the values `prefix`, `substring` and `nil`

branch: externals/orderless commit 860a10222a1a6be3ea87a77d34d09cd0e2dfd422 Author: Daniel Mendler Commit: Daniel Mendler orderless-expand-prefix: Support the values `prefix`, `substring` and `nil` Using `completion-substring-try-completion` can be costly in comparison to prefix

[nongnu] elpa/haskell-ts-mode 3c68ec42d1: Added optional highlihgting to type signature

branch: elpa/haskell-ts-mode commit 3c68ec42d1369f1579606ef4cebb871e7c65b030 Author: pranshu Commit: pranshu Added optional highlihgting to type signature Disabled by default --- README.org | 18 +++--- haskell-ts-mode.el | 19 --- 2 files change

[nongnu] elpa/proof-general 39f967e5ef 04/10: Change _CoqProject separator settings

branch: elpa/proof-general commit 39f967e5ef5c8d4dfed3419138026cb02ebff71d Author: Columbus240 <8899730+columbus...@users.noreply.github.com> Commit: Columbus240 <8899730+columbus...@users.noreply.github.com> Change _CoqProject separator settings According to the code of coq_makefile,

[nongnu] elpa/proof-general 067bffa4bb 07/10: Merge pull request #782 from Matafou/fix-no-strip-newlines

branch: elpa/proof-general commit 067bffa4bb0f11f163a7c47b4cb562e37b1fbe46 Merge: c3e6c391e7 037baeafcb Author: Pierre Courtieu Commit: GitHub Merge pull request #782 from Matafou/fix-no-strip-newlines Fix #781 PG does not position to error + other buggy locations. --- ci/coq-tests

[nongnu] elpa/proof-general 9c8cf89e81 02/10: EasyCrypt: add `ecall` keyword

branch: elpa/proof-general commit 9c8cf89e81e173418b1657da1bd2b72a131d52f8 Author: Rui Fernandes Commit: Rui Fernandes EasyCrypt: add `ecall` keyword --- easycrypt/easycrypt-keywords.el | 1 + 1 file changed, 1 insertion(+) diff --git a/easycrypt/easycrypt-keywords.el b/easycrypt/easycrypt

[nongnu] elpa/proof-general 734bcdb27f 10/10: Merge pull request #776 from jgarte/jgarte-patch-1

branch: elpa/proof-general commit 734bcdb27fdcf54fbe6ab05bf957408e70c69748 Merge: 1b89aa3611 c70d0732ca Author: Pierre Courtieu Commit: GitHub Merge pull request #776 from jgarte/jgarte-patch-1 Update Makefile --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff

[nongnu] elpa/proof-general 1b89aa3611 09/10: Merge pull request #783 from ruipedro16/add-ecall-keyword

branch: elpa/proof-general commit 1b89aa361149dac88005d491894f21a8d83df6fc Merge: 11dcebe247 9c8cf89e81 Author: Pierre Courtieu Commit: GitHub Merge pull request #783 from ruipedro16/add-ecall-keyword EasyCrypt: add `ecall` keyword --- easycrypt/easycrypt-keywords.el | 1 + 1 file

[nongnu] elpa/proof-general c70d0732ca 01/10: Update Makefile

branch: elpa/proof-general commit c70d0732caf24bcf7c24b2da8e8e557e5f34de21 Author: Jorge Gomez Commit: GitHub Update Makefile --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 4d8f51ccab..7a5df56023 100644 --- a/Makefile +++ b/Makefil

[nongnu] elpa/proof-general 05e3dc3ad4 03/10: Remove duplicate def. of `coq-looking-at-comment`

branch: elpa/proof-general commit 05e3dc3ad4482a166be120b65930f9b5aa19d8db Author: Columbus240 <8899730+columbus...@users.noreply.github.com> Commit: Columbus240 <8899730+columbus...@users.noreply.github.com> Remove duplicate def. of `coq-looking-at-comment` --- coq/coq-indent.el | 5 - 1

[nongnu] elpa/proof-general 16b70c953c 05/10: Fix #781 PG does not position to error.

branch: elpa/proof-general commit 16b70c953cc999a1d271eaecce90edd104d80af9 Author: Pierre Courtieu Commit: Pierre Courtieu Fix #781 PG does not position to error. Tests is also added to check the exact position of the error highlighting. Description of the fix.

[nongnu] elpa/sweeprolog bd31199a34 2/2: Announce recent changes in NEWS.org and bump version to 0.27.6

branch: elpa/sweeprolog commit bd31199a34c0619b346954f25875fcb7239e2b86 Author: Eshel Yaron Commit: Eshel Yaron Announce recent changes in NEWS.org and bump version to 0.27.6 --- NEWS.org | 8 sweep.texi| 4 ++-- sweeprolog.el | 2 +- 3 files changed, 11 insertions(+), 3 d

[nongnu] elpa/proof-general 037baeafcb 06/10: Stripping hardwired command strings from trailing spaces.

branch: elpa/proof-general commit 037baeafcbda9215ff0241cbd11ef46b3d0f99a4 Author: Pierre Courtieu Commit: Pierre Courtieu Stripping hardwired command strings from trailing spaces. --- coq/coq.el | 50 ++ 1 file changed, 26 insertions(+), 24 d

[nongnu] elpa/proof-general updated (c3e6c391e7 -> 734bcdb27f)

elpasync pushed a change to branch elpa/proof-general. from c3e6c391e7 Merge pull request #778 from hendriktews/ci-rc new 16b70c953c Fix #781 PG does not position to error. new 037baeafcb Stripping hardwired command strings from trailing spaces. new 067bffa4bb Merge

[nongnu] elpa/proof-general 11dcebe247 08/10: Merge pull request #784 from Columbus240/CoqProject

branch: elpa/proof-general commit 11dcebe247632f91c162392b4b7b3c37a9ded44a Merge: 067bffa4bb 39f967e5ef Author: Pierre Courtieu Commit: GitHub Merge pull request #784 from Columbus240/CoqProject Change _CoqProject separator settings --- coq/coq-indent.el | 5 - coq/coq-system.e

[nongnu] elpa/sweeprolog updated (142fba8cc7 -> bd31199a34)

elpasync pushed a change to branch elpa/sweeprolog. from 142fba8cc7 ; Minor docstring fixes new 650a0339c2 ; Avoid deprecated thread_exit/1 new bd31199a34 Announce recent changes in NEWS.org and bump version to 0.27.6 Summary of changes: NEWS.org | 8 sweep

[nongnu] elpa/sweeprolog 650a0339c2 1/2: ; Avoid deprecated thread_exit/1

branch: elpa/sweeprolog commit 650a0339c26c800cbf298f9c5b96e676e8b7f6f6 Author: Eshel Yaron Commit: Eshel Yaron ; Avoid deprecated thread_exit/1 This circumvents a crash during top-level threads termination. See https://github.com/SWI-Prolog/swipl-devel/issues/1317. --- sw

[elpa] externals/debbugs b0d2f90878: Fix NOCACHE handling

branch: externals/debbugs commit b0d2f90878e5c444c931fc4b5b6b961e8e99e8c5 Author: Michael Albinus Commit: Michael Albinus Fix NOCACHE handling * debbugs-gnu.el (debbugs-gnu-current-nocache): New defvar. (debbugs-gnu, debbugs-gnu-show-reports, debbugs-gnu-rescan): Use it. --- de

[nongnu] elpa/gptel b7a147d624: gptel-rewrite: Add a better refactor/rewrite system

branch: elpa/gptel commit b7a147d624e15aabaaecf1119ba5894552e18527 Author: Karthik Chikmagalur Commit: Karthik Chikmagalur gptel-rewrite: Add a better refactor/rewrite system * gptel-transient.el (gptel-menu): Move all the rewriting-related functions and transient items into gpt

[nongnu] elpa/proof-general 6200721187 1/2: Adding unicode arrow >->

branch: elpa/proof-general commit 62007211878246a33281d4fcb9cc881cad39a154 Author: Alessandro Bruni Commit: GitHub Adding unicode arrow >-> --- coq/coq-unicode-tokens.el | 1 + 1 file changed, 1 insertion(+) diff --git a/coq/coq-unicode-tokens.el b/coq/coq-unicode-tokens.el index c4a26b7ba

[nongnu] elpa/proof-general 3a99da2755 2/2: Merge pull request #741 from hoheinzollern/patch-1

branch: elpa/proof-general commit 3a99da275523c8f844fdfa3dd073295eece939f3 Merge: 734bcdb27f 6200721187 Author: Pierre Courtieu Commit: GitHub Merge pull request #741 from hoheinzollern/patch-1 Adding unicode arrow >-> --- coq/coq-unicode-tokens.el | 1 + 1 file changed, 1 insertio

[elpa] externals/lin d363ce5db3: Fix missing 'buffer-name' from commit bf14950

branch: externals/lin commit d363ce5db37f54915ab842517a0cfce791566807 Author: Protesilaos Stavrou Commit: Protesilaos Stavrou Fix missing 'buffer-name' from commit bf14950 Thanks to Kai von Fintel for reporting this in issue 1: . ---

[nongnu] elpa/cider 8fdb53e8be: Bump cider-nrepl to 0.50.2 (#3738)

branch: elpa/cider commit 8fdb53e8be764704f5023fa024d023bffedf5a8b Author: Oleksandr Yakushev Commit: GitHub Bump cider-nrepl to 0.50.2 (#3738) --- CHANGELOG.md | 2 +- cider.el | 2 +- dev/docker-sample-proje

[nongnu] elpa/gnosis cfa0462972 01/19: packaging: Version 0.4.2-dev

branch: elpa/gnosis commit cfa0462972a45afd1135ce4814e0652ae68271f8 Author: Thanos Apollo Commit: Thanos Apollo packaging: Version 0.4.2-dev * Begin development 0.4.2-dev. --- gnosis.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gnosis.el b/gnosis.el index

[nongnu] elpa/gnosis 487d903de1 04/19: New file: Add manifest.scm

branch: elpa/gnosis commit 487d903de1f3f7463206a52cd480d123331e4c7c Author: Thanos Apollo Commit: Thanos Apollo New file: Add manifest.scm * Packages to run 'make'. --- manifest.scm | 3 +++ 1 file changed, 3 insertions(+) diff --git a/manifest.scm b/manifest.scm new file mode 100

[nongnu] elpa/gnosis 48ca4aa6f2 07/19: [Refactor] Rewrite org-insert-heading

branch: elpa/gnosis commit 48ca4aa6f2420676de468f3ce43608d4cab41fca Author: Thanos Apollo Commit: Thanos Apollo [Refactor] Rewrite org-insert-heading * Adjust for list answers. * Use gnosis-id. --- gnosis-org.el | 25 +++-- 1 file changed, 15 insertions(+),

[nongnu] elpa/gnosis 1e8e5fc529 11/19: New variable-watcher: custom-values-watcher.

branch: elpa/gnosis commit 1e8e5fc529ad7dd1f1ca0fb8988cd309e3e24bd8 Author: Thanos Apollo Commit: Thanos Apollo New variable-watcher: custom-values-watcher. * Watch & validate new custom gnosis values. --- gnosis.el | 17 +++-- 1 file changed, 15 insertions(+), 2 deleti

[nongnu] elpa/gnosis 4d90489c5b 05/19: elpaignore: Add manifest.scm

branch: elpa/gnosis commit 4d90489c5bb573ff547723b8caeb0a2b6cf7eb50 Author: Thanos Apollo Commit: Thanos Apollo elpaignore: Add manifest.scm --- .elpaignore | 1 + 1 file changed, 1 insertion(+) diff --git a/.elpaignore b/.elpaignore index d8ed22f052..9a93dadc28 100644 --- a/.elpaignore ++

[nongnu] elpa/gnosis bc626d511c 16/19: dashboard: Update dashboard-mode keymap.

branch: elpa/gnosis commit bc626d511c111545387df12219a6412506eaf5a1 Author: Thanos Apollo Commit: Thanos Apollo dashboard: Update dashboard-mode keymap. * dashboard-mode-keymap has the same keybindings as the transient buffer. --- gnosis-dashboard.el | 10 +- 1 file changed

[nongnu] elpa/gnosis 11e526b496 02/19: New module: gnosis-org: Use org-mode with gnosis.

branch: elpa/gnosis commit 11e526b4965412c1632461eb3961b6ebb22d8ec9 Author: Thanos Apollo Commit: Thanos Apollo New module: gnosis-org: Use org-mode with gnosis. * This module will handle exports of decks as org files. * Sync of org files/deck exports with database. The

[nongnu] elpa/gnosis 061633adca 03/19: packaging: Require emacsql-4.0.1.

branch: elpa/gnosis commit 061633adca08d6978a694ad408cb42cda3b11697 Author: Thanos Apollo Commit: Thanos Apollo packaging: Require emacsql-4.0.1. * Require latest version of emacsql, supported by nongnu. --- gnosis.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --gi

[nongnu] elpa/gnosis 56ed928045 09/19: export-deck: Add demo export.

branch: elpa/gnosis commit 56ed928045f20bb7e9a6840774d852599489a585 Author: Thanos Apollo Commit: Thanos Apollo export-deck: Add demo export. --- gnosis.el | 15 +++ 1 file changed, 15 insertions(+) diff --git a/gnosis.el b/gnosis.el index 5476d52e2f..2e8af51275 100644 --- a/gn

[nongnu] elpa/gnosis 52da178372 15/19: Rewrite README as markdown

branch: elpa/gnosis commit 52da178372d118875aa986ea455ef05e0430fbde Author: Thanos Apollo Commit: Thanos Apollo Rewrite README as markdown * Rewrite README as markdown to work with nongnu elpa. --- README| 9 - README.md | 9 + 2 files changed, 9 insertions(+),

[nongnu] elpa/gnosis 02a4e13520 12/19: [fix] display-images: Display images only on graphical envs.

branch: elpa/gnosis commit 02a4e1352025e023d4345cd7dd71ae063d396538 Author: Thanos Apollo Commit: Thanos Apollo [fix] display-images: Display images only on graphical envs. * Fix issues for running gnosis on tty & termux. --- gnosis.el | 28 +++- 1 file chan

[nongnu] elpa/gnosis updated (013fca6bae -> 731f0ba491)

elpasync pushed a change to branch elpa/gnosis. from 013fca6bae [fix] demo: typos & rewrite explanations. new bc626d511c dashboard: Update dashboard-mode keymap. new cfa0462972 packaging: Version 0.4.2-dev new 11e526b496 New module: gnosis-org: Use org-mode with gnos

[nongnu] elpa/gnosis d034335bde 18/19: Packaging: Add version 0.4.2.

branch: elpa/gnosis commit d034335bde30c7873768bfbbae531a704d011245 Author: Thanos Apollo Commit: Thanos Apollo Packaging: Add version 0.4.2. * Comment out gnosis-org sections that are under development. * Fix display issues on non-grapical interface. * Add variable watchers

[nongnu] elpa/gnosis f9c6885cd5 17/19: doc: Update for new version.

branch: elpa/gnosis commit f9c6885cd56cd2e929992c1fa319b527f179a6cd Author: Thanos Apollo Commit: Thanos Apollo doc: Update for new version. * Update manual entries. * Fix typos. * Adjust section for customizing note types. --- doc/gnosis.org | 60 ++

[nongnu] elpa/gnosis 731f0ba491 19/19: Release version 0.4.2.

branch: elpa/gnosis commit 731f0ba4910c872efedf7e460d904f3d9c3be9a7 Merge: bc626d511c d034335bde Author: Thanos Apollo Commit: Thanos Apollo Release version 0.4.2. * Comment out gnosis-org sections that are under development. * gnosis-org should be ready by next version.

[nongnu] elpa/gnosis 8f0bb68c87 14/19: demo: Update formatting (aesthetics).

branch: elpa/gnosis commit 8f0bb68c87843fee900b2bb10567fae96afe5186 Author: Thanos Apollo Commit: Thanos Apollo demo: Update formatting (aesthetics). * Adjust extras formatting of y-or-p exapmle to avoid breakage. --- gnosis.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

[nongnu] elpa/gnosis bb1469aad5 08/19: Update todos.

branch: elpa/gnosis commit bb1469aad5e488f1cf5ed1983feee3ee283a7152 Author: Thanos Apollo Commit: Thanos Apollo Update todos. * Update todos to work with magit-todos. --- gnosis.el | 14 +++--- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/gnosis.el b/gnosis

[nongnu] elpa/gnosis 88a32f1918 13/19: edit-update-note: Update assertions.

branch: elpa/gnosis commit 88a32f19180e36ce31f1819171ce9a9337c70568 Author: Thanos Apollo Commit: Thanos Apollo edit-update-note: Update assertions. * Update assertions, to avoid edits that will lead to bugs such as inserting numbers to the tags list. --- gnosis.el | 10 +

[nongnu] elpa/gnosis a783b56772 10/19: New function: Add validate-custom-values.

branch: elpa/gnosis commit a783b56772fe44111395e3045cfebbf986259495 Author: Thanos Apollo Commit: Thanos Apollo New function: Add validate-custom-values. * Function to be used with a variable watcher to validate custom gnosis values. --- gnosis.el | 29 +

[nongnu] elpa/gnosis 907308c45e 06/19: makefile: Add tests & use quick (-Q) option.

branch: elpa/gnosis commit 907308c45e8221fedb8c34596cd57497c2736c01 Author: Thanos Apollo Commit: Thanos Apollo makefile: Add tests & use quick (-Q) option. --- Makefile | 8 +++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 4ee28ad675..9b1a262a

[nongnu] elpa/gptel 26b515a8f4 4/4: gptel: Add Cerebras support (#372)

branch: elpa/gptel commit 26b515a8f4ef61abd5a81b3c622bf00fe73261a7 Author: Ian <180469889+bytegori...@users.noreply.github.com> Commit: GitHub gptel: Add Cerebras support (#372) * README.org: Add Cerebras to the supported providers. Fixing typos in the README * gptel.

[nongnu] elpa/gptel 6995b5c0d9 1/4: gptel-rewrite: Add rewrite overlay navigation commands

branch: elpa/gptel commit 6995b5c0d9b4ef967d947d0ecffefc3e3ffabdeb Author: Karthik Chikmagalur Commit: Karthik Chikmagalur gptel-rewrite: Add rewrite overlay navigation commands * gptel-rewrite.el (gptel-rewrite-actions-map, gptel--rewrite-move, gptel--rewrite-next, gptel--r

[nongnu] elpa/gptel updated (b7a147d624 -> 26b515a8f4)

elpasync pushed a change to branch elpa/gptel. from b7a147d624 gptel-rewrite: Add a better refactor/rewrite system new 6995b5c0d9 gptel-rewrite: Add rewrite overlay navigation commands new c960428d17 gptel-rewrite: Improve docstrings and formatting new 6f7e005a8a gpt

[nongnu] elpa/gptel c960428d17 2/4: gptel-rewrite: Improve docstrings and formatting

branch: elpa/gptel commit c960428d17f80e27f3dbf43da02d010f45cb6fdf Author: Karthik Chikmagalur Commit: Karthik Chikmagalur gptel-rewrite: Improve docstrings and formatting * gptel-rewrite.el (gptel--rewrite-ediff, gptel--rewrite-diff, gptel--rewrite-apply, gptel--rewrite-prepare

[nongnu] elpa/gptel 6f7e005a8a 3/4: gptel-rewrite: New user option for rewrite message

branch: elpa/gptel commit 6f7e005a8aae369357dac836583aadc7b7903f01 Author: Karthik Chikmagalur Commit: Karthik Chikmagalur gptel-rewrite: New user option for rewrite message * gptel-rewrite.el (gptel-rewrite-directives-hook, gptel-rewrite-menu): New user option `gptel-rewrit

[elpa] externals/llm 152a6ed44a: Fix Vertex and Open AI's parallel call tool use (#78)

branch: externals/llm commit 152a6ed44ae43641e35a0d2ce2cf9f9d35f23999 Author: Andrew Hyatt Commit: GitHub Fix Vertex and Open AI's parallel call tool use (#78) Change how we store in the prompt the results to support parallel calls. This is an alternate fix for https://gith