[nongnu] elpa/pdf-tools 1885cefc24 16/16: Merge branch 'feature/emacs-26.3'

branch: elpa/pdf-tools commit 1885cefc24883c220cdd4acafdf1d14f290a6979 Merge: d6980bc327 997467ad3b Author: Vedang Manerikar Commit: Vedang Manerikar Merge branch 'feature/emacs-26.3' Creating a merge commit in order to create a 1.0.0 tag. Note that this merge has breaking

[nongnu] elpa/pdf-tools 96703b2bb5 14/16: Bump the minimum Emacs version to 26.3! 🎉🤞

branch: elpa/pdf-tools commit 96703b2bb5c937afd05778086c43280b0593fe99 Author: Vedang Manerikar Commit: Vedang Manerikar Bump the minimum Emacs version to 26.3! 🎉🤞 All the code working around issues in Emacs 24 and Emacs 25 has been removed at this point! (or at least, as much o

[nongnu] elpa/pdf-tools 7a51b38310 13/16: Extend docker testing framework to test against Emacs versions

branch: elpa/pdf-tools commit 7a51b38310014628fe4ada9731d6d63657e8f209 Author: Vedang Manerikar Commit: Vedang Manerikar Extend docker testing framework to test against Emacs versions Until this commit, docker-based local testing only checked whether the epdfinfo server compiled

[nongnu] elpa/pdf-tools e10d9cedad 12/16: Update and cleanup the Install section

branch: elpa/pdf-tools commit e10d9cedad5007e9435788b31aec6eb4b5ce964f Author: Vedang Manerikar Commit: Vedang Manerikar Update and cleanup the Install section Simplify the instructions and ask users to use `make` where possible! Closes: #160 --- README.org | 394 +

[nongnu] elpa/pdf-tools 19801defb8 10/16: Add support for Alpine Linux to autobuild

branch: elpa/pdf-tools commit 19801defb89ba6208afe96dbbb44ba84fb579f23 Author: Vedang Manerikar Commit: Vedang Manerikar Add support for Alpine Linux to autobuild This ensures that all operating systems currently mentioned in the README are covered in the autobuild script

[nongnu] elpa/pdf-tools 365d2d8e8e 03/16: Remove guards in `pdf-virtual` tests and code.

branch: elpa/pdf-tools commit 365d2d8e8ed45c4358ff767a40fdc184746e043b Author: Vedang Manerikar Commit: Vedang Manerikar Remove guards in `pdf-virtual` tests and code. This is dead-code for supporting Emacs <26.3 Relates to: #26 --- lisp/pdf-virtual.el | 6 -- test/

[nongnu] elpa/pdf-tools 3af6141926 06/16: Remove pdf-util-window-pixel-width, fallback to window-body-width

branch: elpa/pdf-tools commit 3af61419267d8abc63d86ce7260d0b1e0710a222 Author: Vedang Manerikar Commit: Vedang Manerikar Remove pdf-util-window-pixel-width, fallback to window-body-width `window-body-width` is available for us to use in Emacs 26.3 Relates to: #26 --- lisp/

[nongnu] elpa/pdf-tools 5563ac9114 04/16: Remove bugfix for imenu in Emacs 24.3 and below

branch: elpa/pdf-tools commit 5563ac911466ee8948b76241d22c5c0e384b9ab4 Author: Vedang Manerikar Commit: Vedang Manerikar Remove bugfix for imenu in Emacs 24.3 and below This is no longer necessary, since we are dropping support for Emacs 24.3 Relates to: #26 --- lisp/p

[nongnu] elpa/pdf-tools 05c42596a2 07/16: Remove compatibility function for image-mode-winprops

branch: elpa/pdf-tools commit 05c42596a21fc668eac3b8df4cf6ae2d93bf097c Author: Vedang Manerikar Commit: Vedang Manerikar Remove compatibility function for image-mode-winprops Relates to: #26 --- lisp/pdf-util.el | 47 --- 1 file changed,

[nongnu] elpa/pdf-tools 997467ad3b 15/16: autobuild: Recognize NetBSD and install packages via pkgin

branch: elpa/pdf-tools commit 997467ad3bcd23de22624c538d14863479b27cba Author: Sunil Nimmagadda Commit: Vedang Manerikar autobuild: Recognize NetBSD and install packages via pkgin Closes: #170 --- README.org | 1 + server/autobuild | 13 + 2 files changed, 14 ins

[nongnu] elpa/pdf-tools 1f91ba8894 09/16: Render crisp images for HiDPI screens by default

branch: elpa/pdf-tools commit 1f91ba8894e3820faa82e5cc95a0de163c461cb0 Author: Vedang Manerikar Commit: Vedang Manerikar Render crisp images for HiDPI screens by default Copying from the README: > `pdf-tools` version `1.1.0` release changed the default value of > `pdf-v

[nongnu] elpa/pdf-tools bc7c159c48 11/16: Make sure pkg-config is correctly set in autobuild

branch: elpa/pdf-tools commit bc7c159c483da6047630d445cb6e1ae45384f9a0 Author: Vedang Manerikar Commit: Vedang Manerikar Make sure pkg-config is correctly set in autobuild Also, simplify the config script for finding gnu-sed. Relates to: #160 --- .circleci/config.yml | 2 +

[nongnu] elpa/pdf-tools ce5ed3412d 05/16: Remove macro / function re-definitions

branch: elpa/pdf-tools commit ce5ed3412d016641e1bfce72a1304fd2c303fc1d Author: Vedang Manerikar Commit: Vedang Manerikar Remove macro / function re-definitions Rely on the functions that come built into Emacs. Relates to: #26 --- lisp/pdf-util.el | 31 -

[nongnu] elpa/pdf-tools 321e19ed59 08/16: Remove Emacs 24.4 guards for cua-mode

branch: elpa/pdf-tools commit 321e19ed597483ec4b5bebc2de160ba3803f1a8b Author: Vedang Manerikar Commit: Vedang Manerikar Remove Emacs 24.4 guards for cua-mode Relates to: #26 --- lisp/pdf-info.el | 4 +++- lisp/pdf-view.el | 27 +-- 2 files changed, 12 inse

[nongnu] elpa/pdf-tools 710fe66dc4 02/16: Explicitly declare documentation files as Org files

branch: elpa/pdf-tools commit 710fe66dc48c9fb1f4a411a5636c5dee7dc34943 Author: Vedang Manerikar Commit: Vedang Manerikar Explicitly declare documentation files as Org files Renames: NEWS, TODO and README files. README was a symlink to README.org, removes the symlink in favor of

[nongnu] elpa/pdf-tools 37b4c4fcec 01/16: Add a byteclean target in the Makefile

branch: elpa/pdf-tools commit 37b4c4fcecf2dfe9c7f960864fde1a82bb2ea2c6 Author: Vedang Manerikar Commit: Vedang Manerikar Add a byteclean target in the Makefile Similar to the `bytecompile` target, this is for helping with testing. --- Makefile | 8 ++-- 1 file changed, 6 insert

[nongnu] elpa/pdf-tools updated (d6980bc327 -> 1885cefc24)

elpasync pushed a change to branch elpa/pdf-tools. from d6980bc327 Enable testing against MacOS in CI/CD! new 37b4c4fcec Add a byteclean target in the Makefile new 710fe66dc4 Explicitly declare documentation files as Org files new 365d2d8e8e Remove guards in `pdf-vir

[elpa] externals-release/org b3da427ebb: Update version numbers for the 9.6 release

branch: externals-release/org commit b3da427ebb1c401355aa4cba9baeaa92f87ccb2f Author: Bastien Commit: Bastien Update version numbers for the 9.6 release --- etc/ORG-NEWS | 3 ++- lisp/org.el | 2 +- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/etc/ORG-NEWS b/etc/ORG-NEWS

[elpa] externals-release/org updated (225d58341b -> b3da427ebb)

elpasync pushed a change to branch externals-release/org. from 225d58341b doc/org-manual.org: Fix keybinding adds 55cf527375 org: Image display, account for line number width adds 10139c86bc org.el (org-create-formula-image): Fix ignored background color adds 35928a6d0

[elpa] externals/org updated (9276219103 -> b3da427ebb)

elpasync pushed a change to branch externals/org. from 9276219103 org-export--get-subtree-options: Do not jump to parent subtree new b3da427ebb Update version numbers for the 9.6 release Summary of changes: etc/ORG-NEWS | 3 ++- lisp/org.el | 2 +- 2 files changed, 3 insertions

[elpa] externals/ef-themes 8ecad70b24 1/2: Remove support for selectrum (deprecated in favour of Vertico)

branch: externals/ef-themes commit 8ecad70b24404084bbf57d66abb9985df10b4825 Author: Protesilaos Stavrou Commit: Protesilaos Stavrou Remove support for selectrum (deprecated in favour of Vertico) --- README.org | 1 - ef-themes.el | 6 -- 2 files changed, 7 deletions(-) diff --git a/R

[elpa] externals/ef-themes updated (7d0ff05193 -> dce4ddb641)

elpasync pushed a change to branch externals/ef-themes. from 7d0ff05193 ef-autumn: tweak red-faint hue new 8ecad70b24 Remove support for selectrum (deprecated in favour of Vertico) new dce4ddb641 Tweak the outline of ef-themes.el Summary of changes: README.org | 1 -

[elpa] externals/ef-themes dce4ddb641 2/2: Tweak the outline of ef-themes.el

branch: externals/ef-themes commit dce4ddb6413a0e1e57b3f99c7dc1a59e35eb9d5f Author: Protesilaos Stavrou Commit: Protesilaos Stavrou Tweak the outline of ef-themes.el --- ef-themes.el | 6 +- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/ef-themes.el b/ef-themes.el index 7

[elpa] externals/eev 2b7c767bd3: Small changes in the docs.

branch: externals/eev commit 2b7c767bd38d50af01d8cdddb24d012f6a0d3f41 Author: Eduardo Ochs Commit: Eduardo Ochs Small changes in the docs. --- ChangeLog| 3 +- VERSION | 4 +-- eev-intro.el | 95 +--- eev-load.el | 7 -

[elpa] externals/embark 09da327d43 6/6: Bump version number for release of embark-org

branch: externals/embark commit 09da327d43793f0b30114ee80d82ef587124462a Author: Omar Antolín Commit: Omar Antolín Bump version number for release of embark-org --- embark.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/embark.el b/embark.el index 8f5cdd29a2..c7236108

[elpa] externals/embark f2bb7b7d1a 5/6: Depend on Emacs 27.1 for org-table-move-cell-up

branch: externals/embark commit f2bb7b7d1abdd968d70e3830a6c15a23e5bf90e4 Author: Omar Antolín Commit: Omar Antolín Depend on Emacs 27.1 for org-table-move-cell-up --- embark-org.el | 4 1 file changed, 4 insertions(+) diff --git a/embark-org.el b/embark-org.el index 46ce7702a5..534851

[elpa] externals/embark e0bb5b342d 2/6: Minor cleanup

branch: externals/embark commit e0bb5b342dae18b6b2aaf7733588cceb6b48685a Author: Daniel Mendler Commit: Daniel Mendler Minor cleanup - org-element seems to be required by Org early on - Use defalias --- embark-org.el | 9 +++-- 1 file changed, 3 insertions(+), 6 deletions(-

[elpa] externals/embark 891aa297aa 4/6: Simplify some double negations

branch: externals/embark commit 891aa297aa74478dc69865fd26daaeaeb4872260 Author: Omar Antolín Commit: Omar Antolín Simplify some double negations --- embark.el | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/embark.el b/embark.el index 3d8619ea90..8f5cdd29a2 100644

[elpa] externals/orderless 004cee6b8e: Bump version number (fix #116)

branch: externals/orderless commit 004cee6b8e01f8eb0cb1c683d0a637b14890600f Author: Omar Antolín Commit: Omar Antolín Bump version number (fix #116) --- orderless.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/orderless.el b/orderless.el index 47e3c9939d..02b2970c0e

[elpa] externals/embark 577ac93718 1/6: Auto load Embark integration

branch: externals/embark commit 577ac93718d3021767038130dff5697310293675 Author: Daniel Mendler Commit: Daniel Mendler Auto load Embark integration --- embark.el | 3 +++ 1 file changed, 3 insertions(+) diff --git a/embark.el b/embark.el index 76af12670a..3d8619ea90 100644 --- a/embark.el

[elpa] externals/embark 81c924ca55 3/6: Merge pull request #561 from minad/autoload-embark

branch: externals/embark commit 81c924ca555ceeb9dd1fec221ff5aa5d2bca242d Merge: fa5a59cf55 e0bb5b342d Author: Omar Antolín Camarena Commit: GitHub Merge pull request #561 from minad/autoload-embark Auto load Org integration --- embark-org.el | 9 +++-- embark.el | 3 +++ 2

[elpa] externals/embark-consult updated (fa5a59cf55 -> 09da327d43)

elpasync pushed a change to branch externals/embark-consult. from fa5a59cf55 Merge pull request #558 from minad/distribute-embark-org adds 577ac93718 Auto load Embark integration adds e0bb5b342d Minor cleanup adds 81c924ca55 Merge pull request #561 from minad/autoload-e

[elpa] externals/embark updated (fa5a59cf55 -> 09da327d43)

elpasync pushed a change to branch externals/embark. from fa5a59cf55 Merge pull request #558 from minad/distribute-embark-org new 577ac93718 Auto load Embark integration new e0bb5b342d Minor cleanup new 81c924ca55 Merge pull request #561 from minad/autoload-embark

[elpa] elpa-admin a7bed16eea: * elpa-admin.el (elpaa--report-failure): Tweak notifcation threshold

branch: elpa-admin commit a7bed16eeab77b09c2478331e461fd9e5a02d47a Author: Stefan Monnier Commit: Stefan Monnier * elpa-admin.el (elpaa--report-failure): Tweak notifcation threshold --- elpa-admin.el | 5 - 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/elpa-admin.el b/elp

[nongnu] elpa/workroom b55441ff51 1/2: Fix saving workrooms in desktop file

branch: elpa/workroom commit b55441ff51a82b125b2fcfad650d3ff430b7dec6 Author: Akib Azmain Turja Commit: Akib Azmain Turja Fix saving workrooms in desktop file --- workroom.el | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/workroom.el b/workroom.el index ce306d45c5..d

[nongnu] elpa/workroom 532835eda0 2/2: Bump version to 2.2.5

branch: elpa/workroom commit 532835eda02c64a8b93437e8c3fb220e60859896 Author: Akib Azmain Turja Commit: Akib Azmain Turja Bump version to 2.2.5 --- workroom.el | 2 +- workroom.texi | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/workroom.el b/workroom.el index db

[nongnu] elpa/workroom updated (13e648f3db -> 532835eda0)

elpasync pushed a change to branch elpa/workroom. from 13e648f3db Add .dir-locals.el new b55441ff51 Fix saving workrooms in desktop file new 532835eda0 Bump version to 2.2.5 Summary of changes: workroom.el | 6 -- workroom.texi | 4 ++-- 2 files changed, 6 insertion

[elpa] externals/emms ef1ad535d2: * doc/devel/developer-release.txt: move file

branch: externals/emms commit ef1ad535d29c9b59505d58babd99847c17ab05b3 Author: Yoni Rabkin Commit: Yoni Rabkin * doc/devel/developer-release.txt: move file --- doc/devel/developer-release.txt | 64 + doc/developer-release.txt | 34 --

[elpa] externals/eev 172682e916: Rewrote the section about keybindings in (find-eev-intro).

-intro.el +++ b/eev-intro.el @@ -19,7 +19,7 @@ ;; ;; Author: Eduardo Ochs ;; Maintainer: Eduardo Ochs -;; Version:20221126 +;; Version:20221128 ;; Keywords: e-scripts ;; ;; Latest version: <http://angg.twu.net/eev-current/eev-intro.el> @@ -2844,18 +2844,50 @@ besides that, on

[nongnu] elpa/testcover-mark-line f5de4482a0 1/2: Document how to enable in README and commentary

branch: elpa/testcover-mark-line commit f5de4482a023e8599f16aff52aad483902f180d3 Author: Akib Azmain Turja Commit: Akib Azmain Turja Document how to enable in README and commentary --- README.org | 4 testcover-mark-line.el | 2 ++ 2 files changed, 6 insertions(+) diff --g

[nongnu] elpa/testcover-mark-line updated (331791f358 -> 36a2a9422d)

elpasync pushed a change to branch elpa/testcover-mark-line. from 331791f358 Bump version to 0.2 new f5de4482a0 Document how to enable in README and commentary new 36a2a9422d Bump version to 0.3 Summary of changes: README.org | 4 testcover-mark-line.el |

[nongnu] elpa/testcover-mark-line 36a2a9422d 2/2: Bump version to 0.3

branch: elpa/testcover-mark-line commit 36a2a9422dcdf6f01e842b153fa492c1604ca48b Author: Akib Azmain Turja Commit: Akib Azmain Turja Bump version to 0.3 --- testcover-mark-line.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/testcover-mark-line.el b/testcover-mark-lin

[nongnu] elpa/markdown-mode e3937a7ebf: Remove broken link in issue template

branch: elpa/markdown-mode commit e3937a7ebfbc6a58a03682a40987d90db9cc74a1 Author: Jason Blevins Commit: Jason Blevins Remove broken link in issue template --- .github/ISSUE_TEMPLATE.md | 4 1 file changed, 4 deletions(-) diff --git a/.github/ISSUE_TEMPLATE.md b/.github/ISSUE_TEMPLATE

[elpa] externals/vertico 6d6d8442f8: Update readme

branch: externals/vertico commit 6d6d8442f85aa53c32b8d76cf0804ebb19f7ccfa Author: Daniel Mendler Commit: Daniel Mendler Update readme --- README.org | 15 +++ 1 file changed, 7 insertions(+), 8 deletions(-) diff --git a/README.org b/README.org index 14b3c0d124..2b2fc675c2 10064

[nongnu] elpa/eat 9a5bd15866 6/8: Combine multiple setq/setf/setq-local into one

branch: elpa/eat commit 9a5bd1586699c66a770b729992ea98e0272e Author: Akib Azmain Turja Commit: Akib Azmain Turja Combine multiple setq/setf/setq-local into one * eat.el (eat--t-reset, eat--t-goto, eat--t-write) (eat--t-save-cur, eat--t-enable-alt-disp) (eat--t-change-scr

[nongnu] elpa/eat updated (499c9dd911 -> f3fed64957)

elpasync pushed a change to branch elpa/eat. from 499c9dd911 * README.org (NonGNU ELPA Devel): New section new 64c537da78 Replace 'let*' with 'let' wherever possible new 6271968c86 Use as less let-bindings as possible new 6a94082eff Use hash table to convert from cha

[nongnu] elpa/eat b36f923919 7/8: * eat.el (eat--t-change-charset): Assert argument

branch: elpa/eat commit b36f923919d2c20dd9cc19a37a33359df6723645 Author: Akib Azmain Turja Commit: Akib Azmain Turja * eat.el (eat--t-change-charset): Assert argument --- eat.el | 1 + 1 file changed, 1 insertion(+) diff --git a/eat.el b/eat.el index 02339fc38e..02e226dd4d 100644 --- a/eat

[nongnu] elpa/eat 9d14bbeaa5 4/8: Support multi-column characters properly

branch: elpa/eat commit 9d14bbeaa5c7f5499dcde485ef3a539f8590088e Author: Akib Azmain Turja Commit: Akib Azmain Turja Support multi-column characters properly * eat.el (eat--t-write): Use 'char-width' instead of the unpredictable 'string-width' to support multi-column characters

[nongnu] elpa/eat f3fed64957 8/8: Prefer 'pcase-exhaustive' over 'pcase'

branch: elpa/eat commit f3fed64957b4e88cfa1ff2c5ddfb665f249624cc Author: Akib Azmain Turja Commit: Akib Azmain Turja Prefer 'pcase-exhaustive' over 'pcase' * eat.el (eat--t-erase-in-line, eat--t-erase-in-disp, eat--t-set-mouse-mode, eat--t-send-device-attrs, eat--t-handle-ou

[nongnu] elpa/eat 6271968c86 2/8: Use as less let-bindings as possible

branch: elpa/eat commit 6271968c86d615a2515d5a00985f1828f244c774 Author: Akib Azmain Turja Commit: Akib Azmain Turja Use as less let-bindings as possible * eat.el (eat--t-goto-bol, eat--t-goto-eol) (eat--t-repeated-insert, eat--t-cur-right, eat--t-cur-left) (eat--t-cur-horiz

[nongnu] elpa/eat 64c537da78 1/8: Replace 'let*' with 'let' wherever possible

branch: elpa/eat commit 64c537da7813d128aac8638c32885d05b4f9c5a6 Author: Akib Azmain Turja Commit: Akib Azmain Turja Replace 'let*' with 'let' wherever possible * eat.el (eat--t-eol, eat--t-reset, eat--t-erase-in-disp) (eat--t-disable-alt-disp, eat--t-resize, eat-term-redisplay)

[nongnu] elpa/eat bc4bd45fa6 5/8: Avoid copying STR to the extent possible

branch: elpa/eat commit bc4bd45fa6dfc0515f508c38c075a484d7fcca37 Author: Akib Azmain Turja Commit: Akib Azmain Turja Avoid copying STR to the extent possible * eat.el (eat--t-write): Take two more optional arguments BEG and END to avoid copying STR multiple times unneccessarily.

[nongnu] elpa/eat 6a94082eff 3/8: Use hash table to convert from charset

branch: elpa/eat commit 6a94082effd5d501bf6e3608f04552abc7a9e844 Author: Akib Azmain Turja Commit: Akib Azmain Turja Use hash table to convert from charset * eat.el (eat--t-dec-line-drawing-chars): New constant containing the hash table. * eat.el (eat--t-write): Use hash-tab

[elpa] externals/csharp-mode 4c5e9baa68 1/2: Update readme

branch: externals/csharp-mode commit 4c5e9baa68f620ac754f63038431e46169c75cdc Author: Jostein Kjønigsen Commit: GitHub Update readme Fix typo, and improve readability. --- README.org | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/README.org b/README.org in

[elpa] externals/csharp-mode 1f8616a02d 2/2: Update readme - make header more clear about development-status

branch: externals/csharp-mode commit 1f8616a02d41233684fabfd3a23f37154b5c9ddf Author: Jostein Kjønigsen Commit: GitHub Update readme - make header more clear about development-status --- README.org | 10 ++ 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/README.org b/R

[elpa] externals/csharp-mode updated (d8b058c9e9 -> 1f8616a02d)

elpasync pushed a change to branch externals/csharp-mode. from d8b058c9e9 Bump version new 4c5e9baa68 Update readme new 1f8616a02d Update readme - make header more clear about development-status Summary of changes: README.org | 15 +-- 1 file changed, 9 inser

[elpa] externals/nano-theme f591386e66 1/2: Set transient-value to inherit default

branch: externals/nano-theme commit f591386e66e7ac93e7f13cb33b0f0b2e1d4ae12e Author: Luis Paulo M. Lima Commit: Luis Paulo M. Lima Set transient-value to inherit default Fix issue #43. --- nano-theme-support.el | 5 - 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a

[elpa] externals/nano-theme 696ceedbf5 2/2: Merge pull request #44 from luispauloml/master

branch: externals/nano-theme commit 696ceedbf56a901a80dfcca2e5923a4b8c47e545 Merge: 69fdbefe38 f591386e66 Author: Nicolas P. Rougier Commit: GitHub Merge pull request #44 from luispauloml/master Set transient-value to inherit default --- nano-theme-support.el | 5 - 1 file chan

[nongnu] elpa/proof-general 4a020a7121 1/8: qrhl: Improved font-lock mode:

branch: elpa/proof-general commit 4a020a712157cc94411048378b78d7832a8630c5 Author: Dominique Unruh Commit: Dominique Unruh qrhl: Improved font-lock mode: - sub/subscript symbols reappear when the following symbol is removed - sub/subscript symbols are not themselves sub/superscripted

[nongnu] elpa/proof-general 3b5d65d340 4/8: qrhl: Remove comments from within multiline commands before sending them to qrhl-tool.

branch: elpa/proof-general commit 3b5d65d340c74218e758066cad50e2b4433b3b5e Author: Dominique Unruh Commit: Dominique Unruh qrhl: Remove comments from within multiline commands before sending them to qrhl-tool. --- qrhl/qrhl.el | 12 +--- 1 file changed, 9 insertions(+), 3 deletions

[nongnu] elpa/proof-general a2bd550a2a 2/8: qrhl: Added more abbreviations and symbols in input method.

branch: elpa/proof-general commit a2bd550a2ab1d749b9a5e549d21d48025f8846ec Author: Dominique Unruh Commit: Dominique Unruh qrhl: Added more abbreviations and symbols in input method. --- qrhl/qrhl-input.el | 18 +- 1 file changed, 17 insertions(+), 1 deletion(-) diff --git

[nongnu] elpa/proof-general 06e85d8f23 5/8: qrhl: Automatic indentation.

branch: elpa/proof-general commit 06e85d8f23f6300294dcc3f2a85188750b36812c Author: Dominique Unruh Commit: Dominique Unruh qrhl: Automatic indentation. --- qrhl/qrhl.el | 70 +++- 1 file changed, 69 insertions(+), 1 deletion(-) diff -

[nongnu] elpa/proof-general c844c00d8c 7/8: qrhl: made `font-lock-extra-managed-props` buffer-local.

branch: elpa/proof-general commit c844c00d8c88120f927dd633c92e042250c69527 Author: Dominique Unruh Commit: Dominique Unruh qrhl: made `font-lock-extra-managed-props` buffer-local. --- qrhl/qrhl.el | 7 ++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/qrhl/qrhl.el b/qrhl/

[nongnu] elpa/proof-general 8e688a6770 8/8: Merge pull request #675 from dominique-unruh/qrhl-tool-rebased

branch: elpa/proof-general commit 8e688a67703e4a132cc09bece1b746289868f6ab Merge: d1bbf22ed0 c844c00d8c Author: Pierre Courtieu Commit: GitHub Merge pull request #675 from dominique-unruh/qrhl-tool-rebased Miscellaneous improvements of qrhl-tool support --- qrhl/qrhl-input.el | 18

[nongnu] elpa/proof-general updated (d1bbf22ed0 -> 8e688a6770)

elpasync pushed a change to branch elpa/proof-general. from d1bbf22ed0 docs(README.md): Update badges (#676) new 4a020a7121 qrhl: Improved font-lock mode: - sub/subscript symbols reappear when the following symbol is removed - sub/subscript symbols are not themselves sub/superscri

[nongnu] elpa/proof-general ab7b274597 3/8: qrhl: Removed leftover debug output.

branch: elpa/proof-general commit ab7b2745978f82a665939a41d490844c396edda8 Author: Dominique Unruh Commit: Dominique Unruh qrhl: Removed leftover debug output. --- qrhl/qrhl.el | 1 - 1 file changed, 1 deletion(-) diff --git a/qrhl/qrhl.el b/qrhl/qrhl.el index 5cac311787..84283387b4 100644

[nongnu] elpa/proof-general a49cded675 6/8: qrhl: Added more keywords to syntax highlighting:

branch: elpa/proof-general commit a49cded675de3a714bbe302b07faf99e7b17a811 Author: Dominique Unruh Commit: Dominique Unruh qrhl: Added more keywords to syntax highlighting: `rewrite`, `print goal`, `sp`, `isabelle_cmd`. --- qrhl/qrhl.el | 8 1 file changed, 4 insertions(+), 4 d

[elpa] externals/nano-theme c9cdf75943 1/2: Add compilation faces.

branch: externals/nano-theme commit c9cdf759437890cce61d25245ac38840e72b165e Author: Damien Merenne Commit: Damien Merenne Add compilation faces. --- nano-theme-support.el | 33 + 1 file changed, 21 insertions(+), 12 deletions(-) diff --git a/nano-theme-supp

[elpa] externals/nano-theme 69fdbefe38 2/2: Merge pull request #41 from canatella/compilation-support

branch: externals/nano-theme commit 69fdbefe380bf9869304821a4b4808779e5ac5df Merge: 34a3efc37b c9cdf75943 Author: Nicolas P. Rougier Commit: GitHub Merge pull request #41 from canatella/compilation-support Add compilation faces. --- nano-theme-support.el | 33 +-

[elpa] externals/graphql b57b5ca5d2: Increment version to fix licensing issue in build

branch: externals/graphql commit b57b5ca5d2d0837e1fb4a4f30c051d5f3e643f0f Author: Sean Allred Commit: Sean Allred Increment version to fix licensing issue in build --- graphql.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/graphql.el b/graphql.el index 0827cd75c5..dd

[elpa] externals/graphql ca75ab64c5: Minor README formatting updates

branch: externals/graphql commit ca75ab64c58ca7ab9621b881689d4461ebacb164 Author: Sean Allred Commit: Sean Allred Minor README formatting updates Mostly hard-wrapping. I'd like to see what this looks like before considering removing all the language tags from code blocks. Ideall

[elpa] externals/detached 12421301d2: Update incorrectly formatted docstrings

branch: externals/detached commit 12421301d2788bbff8ae9411d7296dc0b68f4300 Author: Niklas Eklund Commit: Niklas Eklund Update incorrectly formatted docstrings --- detached-compile.el | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/detached-compile.el b/detached-com