[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[nongnu] elpa/proof-general db2280f03a 2/2: Merge pull request #716 from
From: |
ELPA Syncer |
Subject: |
[nongnu] elpa/proof-general db2280f03a 2/2: Merge pull request #716 from gasche/silence-line-length-warning |
Date: |
Tue, 28 Nov 2023 10:00:31 -0500 (EST) |
branch: elpa/proof-general
commit db2280f03aec7f37a7c9dacb05ff18cfb1ac0c48
Merge: 0dd686ec46 aa12db5782
Author: monnier <monnier@iro.umontreal.ca>
Commit: GitHub <noreply@github.com>
Merge pull request #716 from gasche/silence-line-length-warning
[minor] Silence an Emacs warning about above-80-chars docstring
---
generic/proof-site.el | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/generic/proof-site.el b/generic/proof-site.el
index 316acfdcb5..e31d52725c 100644
--- a/generic/proof-site.el
+++ b/generic/proof-site.el
@@ -241,8 +241,8 @@ Note: to change proof assistant, you must start a new Emacs
session.")
proof-assistants
(mapcar #'car proof-assistant-table))
"A list of the configured proof assistants.
-Set on startup to contents of environment variable PROOFGENERAL_ASSISTANTS,
-the Lisp variable `proof-assistants', or the contents of
`proof-assistant-table'.")
+Set on startup to contents of environment variable PROOFGENERAL_ASSISTANTS, the
+Lisp variable `proof-assistants', or the contents of `proof-assistant-table'.")
;; Add auto-loads and load-path elements to support the
;; proof assistants selected, and define stub major mode functions
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [nongnu] elpa/proof-general db2280f03a 2/2: Merge pull request #716 from gasche/silence-line-length-warning,
ELPA Syncer <=