[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[nongnu] elpa/proof-general aa086d8b83 19/25: Annotated qrhl-input.el wi
From: |
ELPA Syncer |
Subject: |
[nongnu] elpa/proof-general aa086d8b83 19/25: Annotated qrhl-input.el with the changes w.r.t. Emacs's latin-ltx.el |
Date: |
Mon, 28 Feb 2022 07:58:45 -0500 (EST) |
branch: elpa/proof-general
commit aa086d8b83bde50d9e78d6e705ffc87e1785c5af
Author: Dominique Unruh <unruh@ut.ee>
Commit: Dominique Unruh <unruh@ut.ee>
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(+), 22 deletions(-)
diff --git a/qrhl/qrhl-input.el b/qrhl/qrhl-input.el
index 497a631544..c5767269a8 100644
--- a/qrhl/qrhl-input.el
+++ b/qrhl/qrhl-input.el
@@ -10,26 +10,17 @@
;; Dave Love <fx@gnu.org>
;; Keywords: multilingual, input, Greek, i18n
-;; This file is part of GNU Emacs.
-
-;; GNU Emacs is free software: you can redistribute it and/or modify
-;; it under the terms of the GNU General Public License as published by
-;; the Free Software Foundation, either version 3 of the License, or
-;; (at your option) any later version.
-
-;; GNU Emacs is distributed in the hope that it will be useful,
-;; but WITHOUT ANY WARRANTY; without even the implied warranty of
-;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
-;; GNU General Public License for more details.
-
-;; You should have received a copy of the GNU General Public License
-;; along with GNU Emacs. If not, see <https://www.gnu.org/licenses/>.
-
-;;; Commentary:
-
-;; Modified by Dominique Unruh to adapt to qrhl-tool (original was
latin-ltx.el)
-
-;;; Code:
+;; Author: Dominique Unruh <unruh@ut.ee>
+
+;; Modified by Dominique Unruh to adapt to the specific requirements of
qrhl-tool (https://dominique-unruh.github.io/qrhl-tool/).
+;; Based on latin-ltx.el from Emacs 26.3
(https://git.savannah.gnu.org/cgit/emacs.git/tree/lisp/leim/quail/latin-ltx.el?h=emacs-26.3)
+;; Main changes:
+;; - Added version check (to fail with emacs <26)
+;; - Changed input method name to "qrhl"
+;; - Changed prefix from latin-ltx to qrhl-input
+;; - Changed unicode symbol for \cdot, \llbracket, \rrbracket
+;; - Disabled sequences starting with _
+;; - Appended extra input sequences in the end
(if (version< emacs-version "26")
(error "Emacs version >= 26 required"))
@@ -532,8 +523,7 @@
("\\oplus" ?⊕)
("\\oslash" ?⊘)
("\\otimes" ?⊗)
- ("\\par" ?
-)
+ ("\\par" ?
)
("\\parallel" ?∥)
("\\partial" ?∂)
("\\perp" ?⊥)
- [nongnu] elpa/proof-general 30b882b8c3 04/25: qrhl.el: Fixed regexp for errors, (continued)
- [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, 2022/02/28
- [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 <=
- [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