branch: externals/matlab-mode
commit 7fe437b1d2af7dfb3156c949381c855083138e8a
Author: John Ciolfi
Commit: John Ciolfi
matlab-shell.el: code cleanup, "(when (not ...)) => "(unless ...)"
---
matlab-shell.el | 36 +---
1 file changed, 17 insertions(+), 19 deleti
branch: elpa/proof-general
commit 491857f378b27286d82ee8a26d3e18bcace7527a
Author: Hendrik Tews
Commit: Hendrik Tews
CI: add Coq/Rocq 9.0+rc1
---
.github/workflows/test.yml | 27 +++
ci/doc/README.md | 8 +-
ci/doc/coq-emacs-releases.org
branch: externals/matlab-mode
commit 66e6c72602373cc474fca8f1d13ed19408372115
Author: John Ciolfi
Commit: John Ciolfi
toolbox/emacsdocomplete.m: add support for MATLAB R2025a
---
toolbox/emacsdocomplete.m | 24 +++-
1 file changed, 23 insertions(+), 1 deletion(-)
diff -
elpasync pushed a change to branch externals/matlab-mode.
from 55d4d1b0ad matlab-shell.el: misc cosmetic changes
new 7fe437b1d2 matlab-shell.el: code cleanup, "(when (not ...)) =>
"(unless ...)"
new 409746e5d0 matlab-shell.el: correct typo from last commit
new 66e6c
branch: externals/matlab-mode
commit 409746e5d00fdb607686ab5729221420449af0fe
Author: John Ciolfi
Commit: John Ciolfi
matlab-shell.el: correct typo from last commit
---
matlab-shell.el | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/matlab-shell.el b/matlab-shell.el
inde
branch: elpa/gptel
commit 397cc2fc7c97666ef0c8fe1bd8496329891bf5c3
Author: Karthik Chikmagalur
Commit: Karthik Chikmagalur
gptel-anthropic: Handle streaming + thinking + tool-use
* gptel-anthropic.el (gptel-curl--parse-stream): When tool-use is
enabled, we preserve the messages
branch: externals/llm
commit 833bf528c913e2a68c80d4d59a20dab10e5508f2
Author: Andrew Hyatt
Commit: Andrew Hyatt
Add packages using llm to README
This will fix https://github.com/ahyatt/llm/issues/174.
---
README.org | 6 ++
1 file changed, 6 insertions(+)
diff --git a/README.o
branch: elpa/php-mode
commit b9d7f07b1a3824e117fd82370a41801399f4aae8
Author: USAMI Kenta
Commit: USAMI Kenta
Addreadonly class modifier to imenu
---
CHANGELOG.md | 9 -
lisp/php.el | 8 +++-
2 files changed, 15 insertions(+), 2 deletions(-)
diff --git a/CHANGELOG.md b/CHANGEL
branch: externals/denote-journal
commit bae086a511871d9c0caf554027a560049125c682
Author: Protesilaos Stavrou
Commit: Protesilaos Stavrou
Remove needless 'file-name-as-directory' as 'denote-journal-directory'
should do that
---
denote-journal.el | 4 ++--
1 file changed, 2 insertions(+), 2
elpasync pushed a change to branch elpa/php-mode.
from 5b6cc1c068 ci: Test Emacs 30.1
new b9d7f07b1a Addreadonly class modifier to imenu
new 4a42c293d7 Add `enum` support to `php-current-class`
new df830a1894 Merge pull request #802 from
emacs-php/feature/support-re
branch: elpa/cider
commit fdfa7c22003abb255f01a0d6fce6c41fb01b79ff
Author: JenChieh
Commit: Bozhidar Batsov
ci: Use only one setup-emacs
---
.github/workflows/test.yml | 9 +
1 file changed, 1 insertion(+), 8 deletions(-)
diff --git a/.github/workflows/test.yml b/.github/workflows/
branch: externals/denote-journal
commit 4bd57037f0a44a8f5bd460a0f7c3d13f2cbcd93e
Author: Protesilaos Stavrou
Commit: Protesilaos Stavrou
Remove useless when-let in denote-journal-calendar--date-to-time
---
denote-journal.el | 7 +++
1 file changed, 3 insertions(+), 4 deletions(-)
diff
branch: externals/denote-journal
commit 247696eb5d96148f422bc14a1f29d36687b4567a
Author: Protesilaos Stavrou
Commit: Protesilaos Stavrou
Write FIXME about getting only the files within the visible portion of the
calendar
---
denote-journal.el | 9 +++--
1 file changed, 7 insertions(+),
branch: externals/denote-journal
commit 462dc5f4a33db36804e667af19f359313847ceb9
Author: Protesilaos Stavrou
Commit: Protesilaos Stavrou
Make denote-journal-calendar-mode add hooks locally and clarify its doc
string
Thanks to Stefan Monnier for suggesting this course of action on t
elpasync pushed a change to branch elpa/proof-general.
from 85cde55a86 Merge pull request #679 from rssoc/master
new 5eed5eb87f Trying to support the rocq CLI.
new 828d459d50 Updating magic texi doc string.
new 05ad8c2ae9 Plug back and robistify proof-prog-name-ask.
branch: elpa/cider
commit d35611e9516a1ab705850ea376c196a9a2b26a63
Author: Oleksandr Yakushev
Commit: Oleksandr Yakushev
[completion] Fix cider-enable-cider-completion-style
---
cider-completion.el | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/cider-completion.el b/cid
monnier pushed a change to branch scratch/logview.
from 94e63fc6dd (logview-filter-edit-mode): Use font-lock
adds 1d1bcbcfd9 logview.el: Avoid (1+ (buffer-size))
No new revisions were added by this update.
Summary of changes:
logview.el | 77 +--
branch: origin/scratch/logview
commit 1d1bcbcfd9e51406ee2753799ea7e3de4b0ba1d4
Author: Stefan Monnier
Commit: Stefan Monnier
logview.el: Avoid (1+ (buffer-size))
* logview.el (logview--do-append-log-file-tail): Consolidate the two
widening into one. Better separate char-distanc
branch: externals/denote
commit 6b2c9f6751cca9dabcead55e9fa05061c9ef8f7c
Author: Protesilaos Stavrou
Commit: Protesilaos Stavrou
Mention alias denote-dired in the manual's heading for easier discovery
---
README.org | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/README.
branch: elpa/gptel
commit dfd88798c1ca26b28c1eb1987cb9967a4fc4d712
Author: Karthik Chikmagalur
Commit: Karthik Chikmagalur
gptel-openai: Adapt OpenAI tool-ids for Openrouter+Anthropic
* gptel-openai.el (gptel--openai-format-tool-id,
gptel--openai-unformat-tool-id): It is possibl
branch: externals/denote-journal
commit 84b29705482f67d34c9878f5410b761f8d67654b
Author: Protesilaos Stavrou
Commit: Protesilaos Stavrou
Refactor how the calendar time is passed around and processed
---
denote-journal.el | 31 +--
1 file changed, 17 insertions(+)
branch: elpa/proof-general
commit e5887b09a392ea0fc4834c1a01377251ef0eec0f
Author: Hendrik Tews
Commit: Hendrik Tews
CI: improve support for Coq/Rocq release candidates in cipg
---
ci/doc/README.md | 20 +-
ci/tools/cipg.ml | 84 +++---
branch: externals/denote-journal
commit 7fda48eb3c39d020b970eb1dea4d2d9c7ded6cc5
Author: Protesilaos Stavrou
Commit: Protesilaos Stavrou
Simplify the denote-journal-calendar face
---
denote-journal.el | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/denote-journal.el b/
branch: externals/denote
commit d590f4f094c080cc2d2e41130fdfbbe056788500
Author: Protesilaos Stavrou
Commit: Protesilaos Stavrou
Include denote-dired and denote-grep in the sample configuration
---
README.org | 6 --
1 file changed, 4 insertions(+), 2 deletions(-)
diff --git a/README.o
branch: externals/denote-journal
commit a95b24136c4a366a6760db060894830b76a4d3dc
Author: Protesilaos Stavrou
Commit: Protesilaos Stavrou
Define integration with the M-x calendar
---
README.org| 46 +++
denote-journal.el | 93 ++
branch: elpa/proof-general
commit 05ad8c2ae97c432abe59dce98b01efd55d9bb041
Author: Pierre Courtieu
Commit: Pierre Courtieu
Plug back and robistify proof-prog-name-ask.
More precisely we try to find coqdep and coqc according to the
user-given prog-name if any. This should make au
branch: elpa/proof-general
commit fc4f823e5c7f1c2dc0c3fc429804c60457338219
Author: Hendrik Tews
Commit: Hendrik Tews
simple-tests: fix tests for Rocq 9
---
ci/simple-tests/coq-test-omit-proofs.el | 8 +++-
1 file changed, 7 insertions(+), 1 deletion(-)
diff --git a/ci/simple-tests/coq-
branch: elpa/proof-general
commit 828d459d50742beffc87234329e2be5d1ccc3ead
Author: Pierre Courtieu
Commit: Pierre Courtieu
Updating magic texi doc string.
---
doc/ProofGeneral.texi | 38 --
1 file changed, 28 insertions(+), 10 deletions(-)
diff --git a/d
branch: elpa/proof-general
commit 1776d18d7aca8cfcf2b6b135bf6de2a4ca67139e
Merge: 85cde55a86 491857f378
Author: hendriktews
Commit: GitHub
Merge pull request #810 from hendriktews/test-9
CI: add Coq 9.0+rc1
---
.github/workflows/test.yml | 27 +++
ci/doc/README.m
branch: elpa/proof-general
commit 5eed5eb87fb3c9ad63387db3cd4cd8ae719c1c2c
Author: Pierre Courtieu
Commit: Pierre Courtieu
Trying to support the rocq CLI.
Also support _RocqProject files.
---
coq/coq-mode.el | 16 +++-
coq/coq-par-compile.el | 15 ++-
coq/coq-system.el
branch: elpa/proof-general
commit d8a049f751ed3c1e1a01a585fa3bb9fc3b65e43f
Author: Pierre Courtieu
Commit: Pierre Courtieu
Adapting omit-proof to rocq prompt.
---
ci/simple-tests/coq-test-omit-proofs.el | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/ci/simple-tests/c
branch: externals/matlab-mode
commit 55d4d1b0ad957657f215ffc349b55881bf73d7e9
Author: John Ciolfi
Commit: John Ciolfi
matlab-shell.el: misc cosmetic changes
Changes from Stefan Monnier . I tested the
changes:
* matlab-shell.el: Remove redundant `:group` arguments.
Pref
branch: externals/denote-journal
commit da5d431f59c359f8e17e01f6cab1478ab244b4b9
Author: Protesilaos Stavrou
Commit: Protesilaos Stavrou
Add TODO about denote-journal-calendar--get-files-as-dates
---
denote-journal.el | 2 ++
1 file changed, 2 insertions(+)
diff --git a/denote-journal.el b
branch: externals/denote-journal
commit 9463ced29ae0395ac124cae899d01605d16c0214
Author: Protesilaos Stavrou
Commit: Protesilaos Stavrou
Update how denote-journal-calendar-mode should be enabled
---
README.org| 16 ++--
denote-journal.el | 1 -
2 files changed, 10 inser
elpasync pushed a change to branch externals/denote.
from 2c585fcb02 Acknowledge Lucas Quintana for denote-grep and related
new 3abd10d7bb Include query links in sample configuration
new 6b2c9f6751 Mention alias denote-dired in the manual's heading for
easier discovery
elpasync pushed a change to branch elpa/hyperdrive.
from ce68ba96de Meta: Comment out SourceHut Builds Badge
new f22465e9f7 Tidy: Replace obsolete when-let with when-let* and
and-let
new 1784ae2055 Meta: Update copyright notices
Summary of changes:
doc/doc-setup.org
branch: elpa/hyperdrive
commit 1784ae20556990d205360463f069aba319c25909
Author: Joseph Turner
Commit: Joseph Turner
Meta: Update copyright notices
---
doc/doc-setup.org | 2 +-
doc/hyperdrive.org| 2 +-
doc/hyperdrive.texi | 2 +-
hyperdrive-des
branch: externals/counsel
commit 5ba59ad3f657c748d3f3a00652320789ae0401fa
Merge: d0cf6f8dfe 790042e81e
Author: Basil L. Contovounesios
Commit: Basil L. Contovounesios
Merge branch 'master' into externals/counsel
branch: externals/counsel
commit 72f47d4d1e6dcf89d59f5af65f365dd704efe9e5
Author: Basil L. Contovounesios
Commit: Basil L. Contovounesios
* counsel.el: Bump version to 0.15.1 (#3001).
(counsel-prompt-function-dir, counsel-search-engines-alist): Update
version tags to match.
---
blc pushed a change to branch externals/counsel.
from d0cf6f8dfe Delete file not needed in elpa.git
adds 62a17ade8e ; * Makefile (check-declare): Simplify.
adds 7006affb6b Link to HTML manual on GNU ELPA
adds 790042e81e Fix kill-ring-save for swiper-isearch
new
branch: elpa/hyperdrive
commit f22465e9f7cf02f41db3f4dff1aa9a7947323de8
Author: Joseph Turner
Commit: Joseph Turner
Tidy: Replace obsolete when-let with when-let* and and-let
---
hyperdrive-dir.el| 6 +++---
hyperdrive-history.el| 6 +++---
hyperdrive-lib.el| 14 ++
41 matches
Mail list logo