[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[nongnu] elpa/proof-general df4013732e 22/25: qrhl: Removed autoload coo
From: |
ELPA Syncer |
Subject: |
[nongnu] elpa/proof-general df4013732e 22/25: qrhl: Removed autoload cookie from customizable options. |
Date: |
Mon, 28 Feb 2022 07:58:46 -0500 (EST) |
branch: elpa/proof-general
commit df4013732ea20e2f01c30ce5ccbcc9079e7cd3d5
Author: Dominique Unruh <unruh@ut.ee>
Commit: Dominique Unruh <unruh@ut.ee>
qrhl: Removed autoload cookie from customizable options.
(As recommended by
https://www.gnu.org/software/emacs/manual/html_node/elisp/When-to-Autoload.html.
"Don’t autoload a user option just so that a user can set it.")
---
qrhl/qrhl.el | 7 +------
1 file changed, 1 insertion(+), 6 deletions(-)
diff --git a/qrhl/qrhl.el b/qrhl/qrhl.el
index b837941fa0..9a3f44b6cb 100644
--- a/qrhl/qrhl.el
+++ b/qrhl/qrhl.el
@@ -19,15 +19,10 @@
(require 'qrhl-input))
-;;;###autoload
-(defgroup qrhl nil "qRHL prover settings")
-
-;;;###autoload
(defcustom qrhl-input-method "qrhl" "Input method to use when editing qRHL
proof scripts"
:type '(string) :group 'qrhl)
-;;;###autoload
-(defcustom qrhl-prog-name "qrhl" "Name/path of the qrhl-prover command"
+(defcustom qrhl-prog-name "qrhl" "Name/path of the qrhl-prover command.
(Restart Emacs after changing this.)"
:type '(string) :group 'qrhl)
(defun qrhl-find-and-forget (span)
- [nongnu] elpa/proof-general 553b2dc093 09/25: Added (require 'proof) to qrhl.el, (continued)
- [nongnu] elpa/proof-general 553b2dc093 09/25: Added (require 'proof) to qrhl.el, ELPA Syncer, 2022/02/28
- [nongnu] elpa/proof-general 543aa777d7 14/25: Made path to qrhl-tool customizable., ELPA Syncer, 2022/02/28
- [nongnu] elpa/proof-general 232c7ccae1 18/25: qrhl: Ensure UTF-8 via `proof-shell-unicode` instead of `set-language-environment`., ELPA Syncer, 2022/02/28
- [nongnu] elpa/proof-general ff22652025 17/25: qrhl: Font-lock support (keywords and sub/superscripts), ELPA Syncer, 2022/02/28
- [nongnu] elpa/proof-general b49220f634 01/25: Added qRHL support from qrhl-tool repo, ELPA Syncer, 2022/02/28
- [nongnu] elpa/proof-general 80aac72a7a 02/25: Fix: proof-tree-external-display := nil, otherwise ProofGeneral fails, ELPA Syncer, 2022/02/28
- [nongnu] elpa/proof-general ee01e75c66 03/25: qrhl-mode recognizes focus commands (e.g. '1-2: ++'), ELPA Syncer, 2022/02/28
- [nongnu] elpa/proof-general 9b3ec8c596 16/25: qrhl: Made variable setting of `electric-indent-mode` buffer-local, ELPA Syncer, 2022/02/28
- [nongnu] elpa/proof-general 67006d14e3 15/25: Merge branch 'master' into qrhl-tool, ELPA Syncer, 2022/02/28
- [nongnu] elpa/proof-general 30b882b8c3 04/25: qrhl.el: Fixed regexp for errors, ELPA Syncer, 2022/02/28
- [nongnu] elpa/proof-general df4013732e 22/25: qrhl: Removed autoload cookie from customizable options.,
ELPA Syncer <=
- [nongnu] elpa/proof-general fe8b9fccb3 25/25: Merge pull request #636 from dominique-unruh/qrhl-tool, ELPA Syncer, 2022/02/28
- [nongnu] elpa/proof-general 847492f78f 13/25: Using require instead of load-library to load qrhl-input., ELPA Syncer, 2022/02/28
- [nongnu] elpa/proof-general 0eb165d2a5 12/25: Removed some hardcoded configuration in qrhl mode:, ELPA Syncer, 2022/02/28
- [nongnu] elpa/proof-general 360b6c24e3 24/25: Clarified copyright of qrhl: University of Tartu, ELPA Syncer, 2022/02/28
- [nongnu] elpa/proof-general e86aa8468b 07/25: Added author to qrhl.el., ELPA Syncer, 2022/02/28
- [nongnu] elpa/proof-general 0e51f5af9a 06/25: Merge remote-tracking branch 'origin/master' into qrhl-tool, ELPA Syncer, 2022/02/28
- [nongnu] elpa/proof-general afb17bbee9 21/25: qrhl: Updated copyright headers. Set lexical-binding: t, ELPA Syncer, 2022/02/28
- [nongnu] elpa/proof-general dead1cc989 23/25: Updated doc-magic (`make -C doc magic`), ELPA Syncer, 2022/02/28
- [nongnu] elpa/proof-general aa086d8b83 19/25: Annotated qrhl-input.el with the changes w.r.t. Emacs's latin-ltx.el, ELPA Syncer, 2022/02/28
- [nongnu] elpa/proof-general 1787acf784 20/25: Support for Emacs 25 in qrhl: Creating separate input method file qrhl-input-25.el that supports Emacs 25., ELPA Syncer, 2022/02/28