[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[nongnu] elpa/proof-general ab7b274597 3/8: qrhl: Removed leftover debug
From: |
ELPA Syncer |
Subject: |
[nongnu] elpa/proof-general ab7b274597 3/8: qrhl: Removed leftover debug output. |
Date: |
Mon, 28 Nov 2022 07:59:30 -0500 (EST) |
branch: elpa/proof-general
commit ab7b2745978f82a665939a41d490844c396edda8
Author: Dominique Unruh <unruh@ut.ee>
Commit: Dominique Unruh <unruh@ut.ee>
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
--- a/qrhl/qrhl.el
+++ b/qrhl/qrhl.el
@@ -60,7 +60,6 @@
))
(and (qrhl-forward-regex "\\.") (point))
))))
- (princ pos)
(and pos (goto-char pos) t)))
(defun qrhl-parse-focus-command ()
- [nongnu] elpa/proof-general updated (d1bbf22ed0 -> 8e688a6770), ELPA Syncer, 2022/11/28
- [nongnu] elpa/proof-general 4a020a7121 1/8: qrhl: Improved font-lock mode:, ELPA Syncer, 2022/11/28
- [nongnu] elpa/proof-general c844c00d8c 7/8: qrhl: made `font-lock-extra-managed-props` buffer-local., ELPA Syncer, 2022/11/28
- [nongnu] elpa/proof-general 06e85d8f23 5/8: qrhl: Automatic indentation., ELPA Syncer, 2022/11/28
- [nongnu] elpa/proof-general 8e688a6770 8/8: Merge pull request #675 from dominique-unruh/qrhl-tool-rebased, ELPA Syncer, 2022/11/28
- [nongnu] elpa/proof-general ab7b274597 3/8: qrhl: Removed leftover debug output.,
ELPA Syncer <=
- [nongnu] elpa/proof-general a2bd550a2a 2/8: qrhl: Added more abbreviations and symbols in input method., ELPA Syncer, 2022/11/28
- [nongnu] elpa/proof-general 3b5d65d340 4/8: qrhl: Remove comments from within multiline commands before sending them to qrhl-tool., ELPA Syncer, 2022/11/28
- [nongnu] elpa/proof-general a49cded675 6/8: qrhl: Added more keywords to syntax highlighting:, ELPA Syncer, 2022/11/28