branch: elpa/editorconfig
commit 1d4acc3ec73609990eabacb59c038708bc401003
Author: Nick
Commit: GitHub
Constrain documentation strings to 80 chars (#269)
* fix: wrap `editorconfig--legacy-version` docstring at 80 chars
This small change addresses the annoying (comp) warning
branch: externals/tempel
commit 54ba0f24c66cb3aa153343acb2f8e828e4dd95dc
Author: Damien Cassou
Commit: Daniel Mendler
README: Add texinfo metadata
This should make it possible to generate an info manual from
README.org.
---
README.org | 4
1 file changed, 4 insertions(+)
branch: externals/code-cells
commit f5150fc213da470da2d4fedaa4b86f476167b235
Author: Augusto Stoffel
Commit: Augusto Stoffel
Update README.md
---
README.md | 34 ++
1 file changed, 22 insertions(+), 12 deletions(-)
diff --git a/README.md b/README.md
index 6a
branch: externals/code-cells
commit 67e1479a7518cf1ea82ec6e4d1147c786db49993
Author: Augusto Stoffel
Commit: Augusto Stoffel
Add code-cells-mode-maybe
---
code-cells.el | 9 +
1 file changed, 9 insertions(+)
diff --git a/code-cells.el b/code-cells.el
index d44de426aa..3d982c63da 10
branch: externals/code-cells
commit 1bd650391a6fe84eb267f2534a0750ea1b5549f4
Author: Augusto Stoffel
Commit: Augusto Stoffel
Update README
---
README.md | 220 --
1 file changed, 71 insertions(+), 149 deletions(-)
diff --git a/REA
branch: externals/code-cells
commit acf4fda9b6e7058191e72c7c700b877eef8c8936
Author: Augusto Stoffel
Commit: Augusto Stoffel
Add autoload for code-cells-speed-key
---
code-cells.el | 7 ---
1 file changed, 4 insertions(+), 3 deletions(-)
diff --git a/code-cells.el b/code-cells.el
index
branch: externals/code-cells
commit 9500e07f83b4c8cebe6fd2991f700dc886acc835
Author: Augusto Stoffel
Commit: Augusto Stoffel
Fix byte-compilation issue
---
code-cells.el | 25 +
1 file changed, 13 insertions(+), 12 deletions(-)
diff --git a/code-cells.el b/code-cell
branch: externals/code-cells
commit 7ded56075dc5a2248eba6da9b560cab85332a675
Author: Augusto Stoffel
Commit: Augusto Stoffel
Call ignore to avoid byte-compiler warnings
---
code-cells.el | 15 +--
1 file changed, 9 insertions(+), 6 deletions(-)
diff --git a/code-cells.el b/code
branch: externals/code-cells
commit c16c0aa0af2813a6ed332206f9216ccabff513a6
Author: Augusto Stoffel
Commit: Augusto Stoffel
Use named groups in alternative regexp branches
---
cells.el | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/cells.el b/cells.el
index f7f14
branch: externals/code-cells
commit 7bad8f1cf647e9cfa7fcc36b61ba9eb20d426229
Author: Augusto Stoffel
Commit: Augusto Stoffel
Speed keys
---
README.md | 23 +++
cells.el | 9 +
2 files changed, 32 insertions(+)
diff --git a/README.md b/README.md
index e0de5e366
branch: externals/code-cells
commit a672ca2def550cde39e7f94b9199a5c940400cf8
Author: Augusto Stoffel
Commit: Augusto Stoffel
Update README
---
README.md | 184 ++
1 file changed, 124 insertions(+), 60 deletions(-)
diff --git a/REA
branch: externals/code-cells
commit aeddd889c229e3b0af0a3322f7fa7e8a472e5143
Author: Augusto Stoffel
Commit: Augusto Stoffel
Add ipynb support via Jupytext
---
cells.el | 79
1 file changed, 79 insertions(+)
diff --git a/cell
branch: externals/buffer-env
commit f3781a628a15eee035e472a0a0a98f14271297bf
Author: Augusto Stoffel
Commit: Augusto Stoffel
Update README
---
README.md | 107 -
README.org| 137 ++
b
branch: externals/code-cells
commit 827ef0194fd0cbd0028336d3c3c2af4d58d5e5c4
Author: Augusto Stoffel
Commit: GitHub
Initial commit
---
.gitignore | 11 +
LICENSE| 674 +
2 files changed, 685 insertions(+)
diff --git a/.gitign
branch: externals/code-cells
commit dcb0465a4650ba580f288cf9bcd56d12fe292954
Author: Augusto Stoffel
Commit: Augusto Stoffel
Fix image link
---
README.org | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/README.org b/README.org
index 33b75dc932..109381ebbe 100644
--- a/RE
branch: externals/code-cells
commit ea7799c447066fee78c4efbafbdaf09520c7109d
Author: Augusto Stoffel
Commit: Augusto Stoffel
Release on ELPA
---
README.md | 194 --
README.org| 174 ++
branch: externals/code-cells
commit 84cc996bff5ebcd9456b73a87670e8b5d3899ce9
Author: Augusto Stoffel
Commit: Augusto Stoffel
Add missing compile-time requirement
Fixes #5
---
code-cells.el | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/code-cells.el b/code-c
branch: externals/code-cells
commit 83cb4d0095eb3fa513c964e1b90e3343fe2d65dc
Author: Augusto Stoffel
Commit: Augusto Stoffel
Add code-cells-eval
---
code-cells.el | 51 +++
1 file changed, 51 insertions(+)
diff --git a/code-cells.el b/code-ce
branch: externals/code-cells
commit 185c33b8b680482537a205bbfbbf9198b94a0d7e
Author: Augusto Stoffel
Commit: Augusto Stoffel
Fix cell movement for files without newline at the end
---
code-cells.el | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/code-cells.el b/code-ce
branch: externals/code-cells
commit 2e40770d7963dcbb52ac45dcd83c0537fda5e188
Author: Augusto Stoffel
Commit: Augusto Stoffel
Add code-cells--bounds function, make code-cells-do obsolete
---
code-cells.el | 49 -
1 file changed, 32 insertions(+
branch: externals/code-cells
commit aefabc4abf18bdd02fa1b0d246e9c47cdec387e6
Author: Augusto Stoffel
Commit: Augusto Stoffel
Comments about ipynb conversion settings
---
README.md | 30 +-
1 file changed, 21 insertions(+), 9 deletions(-)
diff --git a/README.md b
branch: externals/code-cells
commit e02bda5b68f707875c562672346df643a8ced456
Author: Augusto Stoffel
Commit: Augusto Stoffel
Assorted refinements
---
README.md | 76 +++
cells.el | 136 ++
2 files
branch: externals/code-cells
commit 37dce1d908abbc8a6dada9e20fafc2cb80990f39
Author: Augusto Stoffel
Commit: Augusto Stoffel
Add existing code
---
README.md | 109 ++
cells.el | 160 ++
2 fi
elpasync pushed a change to branch externals/code-cells.
at dcb0465a46 Fix image link
This branch includes the following new commits:
new 827ef0194f Initial commit
new 37dce1d908 Add existing code
new 30c0359c36 Simplify motion code
new aeddd889c2 Add ipy
branch: externals/buffer-env
commit 564c3679c8ed56894b005c3027b2a34a20c9c2c0
Author: Augusto Stoffel
Commit: Augusto Stoffel
Add mode line indicator and make messages optional
---
buffer-env.el | 40 +---
1 file changed, 33 insertions(+), 7 deletions(-)
branch: externals/buffer-env
commit ed0a4b31ced61fa74a6c04e73bd3591e64d69b94
Author: Augusto Stoffel
Commit: Augusto Stoffel
Some simplifications
---
buffer-env.el | 25 ++---
1 file changed, 10 insertions(+), 15 deletions(-)
diff --git a/buffer-env.el b/buffer-env.el
i
branch: externals/buffer-env
commit 3568a9f426b221588e062456698c246d7a5412e5
Author: Augusto Stoffel
Commit: Augusto Stoffel
Initial commit
---
.gitignore| 2 +
buffer-env.el | 135 ++
2 files changed, 137 insertions(+)
diff --g
branch: externals/buffer-env
commit eb4cf91f7bdb085c2fa024a4855d3f00c175030e
Author: Augusto Stoffel
Commit: Augusto Stoffel
Refinements in defcustoms
---
buffer-env.el | 29 -
1 file changed, 20 insertions(+), 9 deletions(-)
diff --git a/buffer-env.el b/buffer-
branch: externals/code-cells
commit 68148cfc1f0723e554a09cbae4c732cfc348ecfd
Author: Augusto Stoffel
Commit: Augusto Stoffel
Improve cell boundary face
Closes #6
---
code-cells.el | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/code-cells.el b/code-cells.el
branch: externals/code-cells
commit 47305f54399c362101b0ec1d5b7bd1d99685511e
Author: Augusto Stoffel
Commit: Augusto Stoffel
Indicate that spaces are allowed before cell boundary marker
Closes #4
---
README.md | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/READ
branch: externals/code-cells
commit 031f726941994d4a98649631eceeebb44b515b1b
Author: Augusto Stoffel
Commit: Augusto Stoffel
code-cells-eval: Fix check for a possibly active minor mode
---
code-cells.el | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/code-cells.el b/code
branch: externals/code-cells
commit 374edc6be7dbb8c4809d64e4c5593b9a108e550c
Author: Augusto Stoffel
Commit: Augusto Stoffel
Change package description
---
code-cells.el | 12 ++--
1 file changed, 6 insertions(+), 6 deletions(-)
diff --git a/code-cells.el b/code-cells.el
index c095
branch: externals/code-cells
commit 4e973e01220ad7a3e2d0d50a9c5192a9385e0ede
Author: Augusto Stoffel
Commit: Augusto Stoffel
Do not assume Emacs has native JSON parsing available
Closes #2
---
code-cells.el | 9 ++---
1 file changed, 6 insertions(+), 3 deletions(-)
diff --git
branch: externals/code-cells
commit f93db2d65cab6f07a03bb85660f6500cdf44fb86
Author: Augusto Stoffel
Commit: Augusto Stoffel
Refinement in Commentary section
---
code-cells.el | 25 ++---
1 file changed, 18 insertions(+), 7 deletions(-)
diff --git a/code-cells.el b/code
branch: externals/code-cells
commit e6f0230a40e1d446b9518feeffc963032ff55dae
Author: Augusto Stoffel
Commit: Augusto Stoffel
Notes about the Jupytext integration
---
README.md | 66 ---
1 file changed, 51 insertions(+), 15 deletion
branch: externals/code-cells
commit d03621b1033cc33054e30169517c57d020c13050
Author: Augusto Stoffel
Commit: Augusto Stoffel
Change screenshot
---
README.md | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/README.md b/README.md
index 44e2cee607..7f862f93a5 100644
--- a/RE
branch: externals/code-cells
commit 1661efd9ae8f1fbd84529141fda0e53a5b397195
Author: Augusto Stoffel
Commit: Augusto Stoffel
Add MELPA badge; mention EIN
---
README.md | 21 +++--
1 file changed, 15 insertions(+), 6 deletions(-)
diff --git a/README.md b/README.md
index 2af4
branch: externals/code-cells
commit 55e108733a4ee45bb61319bf82a22357cf788533
Author: Augusto Stoffel
Commit: Augusto Stoffel
Add helper function to call external processes
---
cells.el | 117 +++
1 file changed, 65 insertions(+), 5
branch: externals/code-cells
commit 1ca02d489d991e5ef7502cef9b8e59556a437224
Author: Augusto Stoffel
Commit: Augusto Stoffel
Add code-cells-comment-or-uncomment
---
code-cells.el | 13 +
1 file changed, 13 insertions(+)
diff --git a/code-cells.el b/code-cells.el
index 01d1a672d
branch: externals/code-cells
commit adda62ec820655d447d50f3ac0e75bd32adac7f0
Author: Augusto Stoffel
Commit: Augusto Stoffel
Address some packaging issues
---
code-cells.el | 26 +-
1 file changed, 13 insertions(+), 13 deletions(-)
diff --git a/code-cells.el b/code-
branch: externals/code-cells
commit 0a0dd96cd27edbfba4d61c9bc2e65cbf2b6f22c4
Author: Augusto Stoffel
Commit: Augusto Stoffel
Rename package
---
README.md | 129 +++
cells.el => code-cells.el | 149 --
branch: externals/code-cells
commit 30c0359c36f022990c88c8f585089c2e90e00c54
Author: Augusto Stoffel
Commit: Augusto Stoffel
Simplify motion code
---
cells.el | 19 +++
1 file changed, 7 insertions(+), 12 deletions(-)
diff --git a/cells.el b/cells.el
index 6ab06639ee..23c3f
branch: externals/code-cells
commit bd5f96aa427a8625fce87efa9d99067a9fc4dc94
Author: Augusto Stoffel
Commit: Augusto Stoffel
Add outline mode support
---
cells.el | 45 -
1 file changed, 40 insertions(+), 5 deletions(-)
diff --git a/cells.el b/ce
branch: externals/code-cells
commit 2dc51b44a324e11f18dc566300a1493175055c79
Author: Augusto Stoffel
Commit: Augusto Stoffel
Correct outline level before first cell header
---
cells.el | 12 +++-
1 file changed, 7 insertions(+), 5 deletions(-)
diff --git a/cells.el b/cells.el
index
branch: externals/buffer-env
commit dc7342277f5094058f88f1a9a76cc8879f95d05a
Author: Augusto Stoffel
Commit: Augusto Stoffel
Release on ELPA
---
README.org| 6 ++
buffer-env.el | 4 ++--
2 files changed, 8 insertions(+), 2 deletions(-)
diff --git a/README.org b/README.org
index 9b7
branch: externals/buffer-env
commit 32c1cfdf06dfa7bdbd79aba8066064212672e755
Author: Augusto Stoffel
Commit: Augusto Stoffel
Add a Readme
---
README.md | 107 ++
1 file changed, 107 insertions(+)
diff --git a/README.md b/README.md
elpasync pushed a change to branch externals/buffer-env.
at dc7342277f Release on ELPA
This branch includes the following new commits:
new 3568a9f426 Initial commit
new eb4cf91f7b Refinements in defcustoms
new 4ed60c9fee Add a separate buffer-env--locate-script f
branch: externals/buffer-env
commit 5f4e2258ffb7f8176fae1dc8d1a6c8e3ae0aab13
Author: Augusto Stoffel
Commit: Augusto Stoffel
Add buffer-env-reset
---
buffer-env.el | 10 +-
1 file changed, 9 insertions(+), 1 deletion(-)
diff --git a/buffer-env.el b/buffer-env.el
index 1e2228f82c..b
branch: externals/buffer-env
commit f05d5bd1e71d71bf9b52267e34ad005cff6e6b2e
Author: Augusto Stoffel
Commit: Augusto Stoffel
Fix checkdoc and package-lint issues
---
buffer-env.el | 11 ++-
1 file changed, 6 insertions(+), 5 deletions(-)
diff --git a/buffer-env.el b/buffer-env.el
i
branch: externals/buffer-env
commit 4ed60c9feeaeec712f4c0fbc323a67efd45f673a
Author: Augusto Stoffel
Commit: Augusto Stoffel
Add a separate buffer-env--locate-script function
---
buffer-env.el | 66 ++-
1 file changed, 43 insertions(+)
branch: externals/buffer-env
commit a12a914cd55b068ca327d86184b00bc4daddb1be
Author: Augusto Stoffel
Commit: Augusto Stoffel
No message for hidden buffers
---
buffer-env.el | 8 +---
1 file changed, 5 insertions(+), 3 deletions(-)
diff --git a/buffer-env.el b/buffer-env.el
index b84bda
branch: externals/buffer-env
commit 033f04fd27ae3207c851b23a797a2a718763b0a4
Author: Augusto Stoffel
Commit: Augusto Stoffel
Command to display the process environment
---
buffer-env.el | 42 ++
1 file changed, 42 insertions(+)
diff --git a/buffer-en
branch: main
commit 9cbf6d62e839311e2b91842fd3089711aebd537b
Author: Stefan Monnier
Commit: Stefan Monnier
* elpa-packages (buffer-env, code-cells): New packages
---
elpa-packages | 5 +
1 file changed, 5 insertions(+)
diff --git a/elpa-packages b/elpa-packages
index 3a9b8bc6e8..cfbf18
branch: externals/coterm
commit f44cd1f56be39f8e05544bdc17c3ca128972ec6b
Author: Miha Rihtaršič
Commit: Miha Rihtaršič
Scroll snap after leaving alternate sub-buffer
---
coterm.el | 10 +-
1 file changed, 9 insertions(+), 1 deletion(-)
diff --git a/coterm.el b/coterm.el
index 6225c
elpasync pushed a change to branch externals/coterm.
from 7df3be606c Support for smcup/rmcup
new 2f41ed1d64 Use point and row/col-offset variables for cursor
positioning
new f44cd1f56b Scroll snap after leaving alternate sub-buffer
Summary of changes:
coterm.el | 926 +++
branch: externals/coterm
commit 2f41ed1d642245dde064fcf38227c8533154a2dc
Author: Miha Rihtaršič
Commit: Miha Rihtaršič
Use point and row/col-offset variables for cursor positioning
Emulation should now be a bit faster, though it still seems to be quite
slower
than term.el. htop
branch: elpa/nix-mode
commit a2374521fd41129e1f3c8e0b96444ed3e8647219
Author: Caleb Chase
Commit: Caleb Chase
Add --print-build-logs to flake transient
Also make it enabled by default.
---
nix-flake.el | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/nix-flake
branch: elpa/nix-mode
commit 20ee8d88900b169831d6b0783bd82d2625e940c7
Merge: 00b2b8da57 a2374521fd
Author: Matthew Bauer
Commit: GitHub
Merge pull request #150 from chasecaleb/add-print-build-logs-arg
Add --print-build-logs to flake transient
---
nix-flake.el | 4 +++-
1 file chang
branch: externals/consult
commit a33e057daaea57de384198e51d03f418877845c6
Author: Daniel Mendler
Commit: Daniel Mendler
Update changelog
---
CHANGELOG.org | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/CHANGELOG.org b/CHANGELOG.org
index 98447b6b6b..471204de67 10064
branch: externals-release/org
commit bafeaf161c2253510b6b759f6400cffa1198e48b
Author: Nicolas Goaziou
Commit: Nicolas Goaziou
element: Fix parsing of inline footnotes
* lisp/org-element.el (org-element--pair-round-table):
(org-element--pair-square-table):
(org-element--pair-
elpasync pushed a change to branch externals/org.
from e822291aca Merge branch 'bugfix'
new bafeaf161c element: Fix parsing of inline footnotes
new ef0cf4 Merge branch 'bugfix'
Summary of changes:
lisp/org-element.el | 24 +---
testing
branch: externals/org
commit ef0cf495b2bc6a4eb5b3c21e26d9df8c7577
Merge: e822291aca bafeaf161c
Author: Nicolas Goaziou
Commit: Nicolas Goaziou
Merge branch 'bugfix'
---
lisp/org-element.el | 24 +---
testing/lisp/test-org-element.el | 9 +
2 fil
branch: elpa/elpher
commit ecb5e17d37249bc38c25ee278094fb93b63b0a49
Author: plugd
Commit: plugd
Pre-define xterm-color vars to avoid compiler warnings.
---
elpher.el | 2 ++
1 file changed, 2 insertions(+)
diff --git a/elpher.el b/elpher.el
index 82e108613b..3abb771069 100644
--- a/elpher.
branch: elpa/proof-general
commit 1787acf784151434e6266c609a122d7a62eab5eb
Author: Dominique Unruh
Commit: Dominique Unruh
Support for Emacs 25 in qrhl: Creating separate input method file
qrhl-input-25.el that supports Emacs 25.
..
---
qrhl/qrhl-input-25.el | 747
branch: elpa/proof-general
commit 2d3f422b0137aff5ea636925d3c70e6dce8f639a
Author: Dominique Unruh
Commit: Dominique Unruh
Mentioning qrhl-tool in README.md
---
README.md | 1 +
1 file changed, 1 insertion(+)
diff --git a/README.md b/README.md
index 26d66a2bb5..fce5f86a8a 100644
--- a/READ
branch: elpa/proof-general
commit 553b2dc093086c8b74de29462704792b575f6fea
Author: Dominique Unruh
Commit: Dominique Unruh
Added (require 'proof) to qrhl.el
---
qrhl/qrhl.el | 2 ++
1 file changed, 2 insertions(+)
diff --git a/qrhl/qrhl.el b/qrhl/qrhl.el
index 3d0d04da63..0081d06d7d 100644
branch: elpa/proof-general
commit b580e5f274ba7884c1d5c58ce33fc99b29edac42
Author: Dominique Unruh
Commit: Dominique Unruh
Updated autogenerated parts of PQ-adapting.texi.
---
doc/PG-adapting.texi | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/doc/PG-adapting.texi b/doc
branch: elpa/proof-general
commit 80aac72a7a10e9a441ed4f44568cc8adc2240e90
Author: Dominique Unruh
Commit: Dominique Unruh
Fix: proof-tree-external-display := nil, otherwise ProofGeneral fails
---
qrhl/qrhl.el | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/qrhl/qrhl.e
branch: elpa/proof-general
commit dead1cc989d938015eee15ba5d84cf73e9451c65
Author: Dominique Unruh
Commit: Dominique Unruh
Updated doc-magic (`make -C doc magic`)
---
doc/ProofGeneral.texi | 2 --
1 file changed, 2 deletions(-)
diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
ind
branch: elpa/proof-general
commit afb17bbee9d519053ecea518d4b6e051864b63e5
Author: Dominique Unruh
Commit: Dominique Unruh
qrhl: Updated copyright headers. Set lexical-binding: t
---
qrhl/qrhl-input-25.el | 11 ---
qrhl/qrhl-input.el| 9 +++--
qrhl/qrhl.el | 14 +++
branch: elpa/proof-general
commit 360b6c24e3060c943c4728d7c0df26d97cfd7d0b
Author: Dominique Unruh
Commit: Dominique Unruh
Clarified copyright of qrhl: University of Tartu
---
qrhl/qrhl-input-25.el | 1 +
qrhl/qrhl-input.el| 1 +
qrhl/qrhl.el | 2 +-
3 files changed, 3 insertio
branch: elpa/proof-general
commit fe8b9fccb3690178be7fc455202c941c4c674ac3
Merge: df19c7ba0e 360b6c24e3
Author: Pierre Courtieu
Commit: GitHub
Merge pull request #636 from dominique-unruh/qrhl-tool
Support for qrhl-tool theorem prover
---
Makefile.devel | 2 +-
README
branch: elpa/proof-general
commit df4013732ea20e2f01c30ce5ccbcc9079e7cd3d5
Author: Dominique Unruh
Commit: Dominique Unruh
qrhl: Removed autoload cookie from customizable options.
(As recommended by
https://www.gnu.org/software/emacs/manual/html_node/elisp/When-to-Autoload.html.
"
branch: elpa/proof-general
commit aa086d8b83bde50d9e78d6e705ffc87e1785c5af
Author: Dominique Unruh
Commit: Dominique Unruh
Annotated qrhl-input.el with the changes w.r.t. Emacs's latin-ltx.el
---
qrhl/qrhl-input.el | 34 --
1 file changed, 12 insertions(+), 2
branch: elpa/proof-general
commit ff2265202592d0c5d80c65ff6dd0a47436a71d29
Author: Dominique Unruh
Commit: Dominique Unruh
qrhl: Font-lock support (keywords and sub/superscripts)
---
qrhl/qrhl.el | 23 ---
1 file changed, 20 insertions(+), 3 deletions(-)
diff --git a/qr
branch: elpa/proof-general
commit 67006d14e3fef5147554beea96a2ba7b8f2c32be
Merge: 543aa777d7 df19c7ba0e
Author: Dominique Unruh
Commit: Dominique Unruh
Merge branch 'master' into qrhl-tool
---
README.md | 12 ++--
coq/coq-system.el | 2 +-
2 files changed, 7 insertions(+),
branch: elpa/proof-general
commit 9b3ec8c596fff4171762b9d7141eef3d4fdb0de1
Author: Dominique Unruh
Commit: Dominique Unruh
qrhl: Made variable setting of `electric-indent-mode` buffer-local
---
qrhl/qrhl.el | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/qrhl/qrhl.el b/q
branch: elpa/proof-general
commit 543aa777d7d308b9380fb7febacb8e1dc538f170
Author: Dominique Unruh
Commit: Dominique Unruh
Made path to qrhl-tool customizable.
---
qrhl/qrhl.el | 22 +-
1 file changed, 13 insertions(+), 9 deletions(-)
diff --git a/qrhl/qrhl.el b/qrhl/qr
branch: elpa/proof-general
commit 57a9d9ea9148f058a7a84566fd1a89c225c7cea5
Author: Dominique Unruh
Commit: Dominique Unruh
qrhl: support for several commands on the same line.
---
qrhl/qrhl.el | 40
1 file changed, 32 insertions(+), 8 deletions(-)
d
branch: elpa/proof-general
commit e86aa8468b1f993dc05dd4cbb481c891e1da0215
Author: Dominique Unruh
Commit: Dominique Unruh
Added author to qrhl.el.
---
qrhl/qrhl.el | 1 +
1 file changed, 1 insertion(+)
diff --git a/qrhl/qrhl.el b/qrhl/qrhl.el
index bbd93b489d..3d0d04da63 100644
--- a/qrhl
elpasync pushed a change to branch elpa/proof-general.
from df19c7ba0e Merge pull request #630 from ProofGeneral/update-readme
new b49220f634 Added qRHL support from qrhl-tool repo
new 80aac72a7a Fix: proof-tree-external-display := nil, otherwise
ProofGeneral fails
n
branch: elpa/proof-general
commit 30b882b8c3bad56257c6f6fcdb8a824bb612bec6
Author: Dominique Unruh
Commit: Dominique Unruh
qrhl.el: Fixed regexp for errors
---
qrhl/qrhl.el | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/qrhl/qrhl.el b/qrhl/qrhl.el
index 4a4c299b46..7eef
branch: elpa/proof-general
commit 232c7ccae1424e96a6f371ebe7e6649ba92a1aa4
Author: Dominique Unruh
Commit: Dominique Unruh
qrhl: Ensure UTF-8 via `proof-shell-unicode` instead of
`set-language-environment`.
---
qrhl/qrhl.el | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git
branch: externals/corfu
commit a0fe3d0a237f748a83102d7aa2cb51cb5ab2242b
Author: Daniel Mendler
Commit: Daniel Mendler
README updates
---
README.org | 9 -
1 file changed, 4 insertions(+), 5 deletions(-)
diff --git a/README.org b/README.org
index 4c433a4748..7523814272 100644
--- a/
branch: elpa/proof-general
commit 0eb165d2a554736dfa60d848ccbfd351efac4d68
Author: Dominique Unruh
Commit: Dominique Unruh
Removed some hardcoded configuration in qrhl mode:
- indent-tabs-mode: not set anymore
- input method: customizable (qrhl-input-method)
- Debugging function
branch: elpa/proof-general
commit 847492f78fd57731f59180ec4fe4611429b68826
Author: Dominique Unruh
Commit: Dominique Unruh
Using require instead of load-library to load qrhl-input.
---
qrhl/qrhl-input.el | 1 +
qrhl/qrhl.el | 5 ++---
2 files changed, 3 insertions(+), 3 deletions(-)
branch: elpa/proof-general
commit ee01e75c661553bf25a2c7a1a88b17aac43d65c2
Author: Dominique Unruh
Commit: Dominique Unruh
qrhl-mode recognizes focus commands (e.g. '1-2: ++')
---
qrhl/qrhl.el | 20 +++-
1 file changed, 19 insertions(+), 1 deletion(-)
diff --git a/qrhl/qrhl
branch: elpa/proof-general
commit b49220f634a0f1b140de846ef1f4fcb1d9d9226b
Author: Dominique Unruh
Commit: Dominique Unruh
Added qRHL support from qrhl-tool repo
---
generic/proof-site.el | 2 +
qrhl/qrhl-input.el| 766 ++
qrhl/qrhl.el
branch: elpa/proof-general
commit 0aaf95edba0a0ce7968f24d84559f0daba9a
Author: Dominique Unruh
Commit: Dominique Unruh
Removed setting proof-tree-external-display in `qrhl.el`.
Not needed if `proof.el` is loaded.
(Undoes 80aac72a)
---
qrhl/qrhl.el | 1 -
1 file changed, 1 deleti
branch: elpa/typescript-mode
commit f7f9eb2caa086b007460c7d3bb9f49711faef590
Author: Jostein Kjønigsen
Commit: GitHub
Update build.yml
Don't fail build on Emacs snapshot failures.
---
.github/workflows/build.yml | 11 ++-
1 file changed, 10 insertions(+), 1 deletion(-)
dif
elpasync pushed a change to branch elpa/typescript-mode.
from 84ff4228b5 Merge pull request #160 from trev-dev/master
new 07c3b4feb8 Update build.yml
new f7f9eb2caa Update build.yml
new beda3d6faa Update build.yml
new 58304672c9 Update build.yml
new 0
branch: externals/compat
commit 4d3d0bf6808d62277b2302c702051b853dd6ffcb
Author: Philip Kaludercic
Commit: Philip Kaludercic
Fix duplicate definition testing checking
---
compat-macs.el | 6 --
1 file changed, 4 insertions(+), 2 deletions(-)
diff --git a/compat-macs.el b/compat-macs.el
branch: externals/compat
commit a793b0b6e959406c15781c93ca023b4bfd7a71dd
Author: Philip Kaludercic
Commit: Philip Kaludercic
Extract font-locking into compat-font-lock.el
---
compat-font-lock.el | 48
compat-macs.el | 7 ---
compat.el
branch: externals/compat
commit ccc8b1fd3608dbee88543db1115b563041820d12
Author: Philip Kaludercic
Commit: Philip Kaludercic
Compress and merge the compiled result of compat.elc
The previous `compat-generate-common' (now `compat--generate-verbose')
generated a lot of code that w
branch: externals/compat
commit 5d4fdf41db3225398e05573cbc916476976da392
Author: Philip Kaludercic
Commit: Philip Kaludercic
Merge byte compilation output into a single file
---
compat.el | 44 ++--
1 file changed, 38 insertions(+), 6 deletions(-)
di
branch: elpa/typescript-mode
commit 017a8200fa2ee596267019cc49fcdce9d131f311
Author: Jostein Kjønigsen
Commit: GitHub
Update build.yml
---
.github/workflows/build.yml | 4
1 file changed, 4 insertions(+)
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 0e28
branch: elpa/typescript-mode
commit 58304672c90075bbadd2880b5d6fb0115be1fd91
Author: Jostein Kjønigsen
Commit: GitHub
Update build.yml
---
.github/workflows/build.yml | 50 +
1 file changed, 23 insertions(+), 27 deletions(-)
diff --git a/.github/
branch: elpa/typescript-mode
commit 07c3b4feb8ea83938827facde72a96bbfe8eaff3
Author: Jostein Kjønigsen
Commit: GitHub
Update build.yml
---
.github/workflows/build.yml | 1 +
1 file changed, 1 insertion(+)
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 3679f45f
branch: elpa/typescript-mode
commit beda3d6faa358f5a253dd541bdcdf440cb28fc84
Author: Jostein Kjønigsen
Commit: GitHub
Update build.yml
---
.github/workflows/build.yml | 1 +
1 file changed, 1 insertion(+)
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index c2980ed0
branch: elpa/typescript-mode
commit 88f317f0b6aef8f8d232e912fdbc679799580c56
Merge: 84ff4228b5 017a8200fa
Author: Jostein Kjønigsen
Commit: GitHub
Merge pull request #161 from emacs-typescript/buildfix
Update build.yml
---
.github/workflows/build.yml | 55 ++
1 - 100 of 108 matches
Mail list logo