branch: elpa/proof-general
commit afb17bbee9d519053ecea518d4b6e051864b63e5
Author: Dominique Unruh <[email protected]>
Commit: Dominique Unruh <[email protected]>
qrhl: Updated copyright headers. Set lexical-binding: t
---
qrhl/qrhl-input-25.el | 11 ++++++++---
qrhl/qrhl-input.el | 9 +++++++--
qrhl/qrhl.el | 14 ++++++++++++++
3 files changed, 29 insertions(+), 5 deletions(-)
diff --git a/qrhl/qrhl-input-25.el b/qrhl/qrhl-input-25.el
index 803292327c..bb5a8670c8 100644
--- a/qrhl/qrhl-input-25.el
+++ b/qrhl/qrhl-input-25.el
@@ -1,4 +1,4 @@
-;;; qrhl-input.el --- Quail package for TeX-style input -*-coding: utf-8;-*-
+;;; qrhl-input.el --- Quail package for TeX-style input for qrhl-tool in
ProofGeneral -*- lexical-binding: t -*-
;; Copyright (C) 2001-2017 Free Software Foundation, Inc.
;; Copyright (C) 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009,
@@ -8,9 +8,11 @@
;; Author: TAKAHASHI Naoto <[email protected]>
;; Dave Love <[email protected]>
-;; Keywords: multilingual, input, Greek, i18n
+;; Dominique Unruh <[email protected]>
-;; Author: Dominique Unruh <[email protected]>
+;; SPDX-License-Identifier: GPL-3.0-or-later
+
+;;; Commentary:
;; 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 25.3
(https://git.savannah.gnu.org/cgit/emacs.git/tree/lisp/leim/quail/latin-ltx.el?h=emacs-25.3)
@@ -21,9 +23,12 @@
;; - Changed unicode symbol for \cdot, \llbracket, \rrbracket
;; - Disabled sequences starting with _
;; - Appended extra input sequences in the end
+;; - Changed to lexical binding
;; This version is for Emacs 25 since 'qrhl-input.el' is incompatible with
Emacs 25.
+;;; Code:
+
(if (not (version< emacs-version "26"))
(error "Emacs version <= 25 required"))
diff --git a/qrhl/qrhl-input.el b/qrhl/qrhl-input.el
index c5767269a8..f4a34521a9 100644
--- a/qrhl/qrhl-input.el
+++ b/qrhl/qrhl-input.el
@@ -8,9 +8,11 @@
;; Author: TAKAHASHI Naoto <[email protected]>
;; Dave Love <[email protected]>
-;; Keywords: multilingual, input, Greek, i18n
+;; Dominique Unruh <[email protected]>
-;; Author: Dominique Unruh <[email protected]>
+;; SPDX-License-Identifier: GPL-3.0-or-later
+
+;;; Commentary:
;; 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)
@@ -21,6 +23,9 @@
;; - Changed unicode symbol for \cdot, \llbracket, \rrbracket
;; - Disabled sequences starting with _
;; - Appended extra input sequences in the end
+;; - Changed to lexical binding
+
+;;; Code:
(if (version< emacs-version "26")
(error "Emacs version >= 26 required"))
diff --git a/qrhl/qrhl.el b/qrhl/qrhl.el
index 7bda3eb8f6..b837941fa0 100644
--- a/qrhl/qrhl.el
+++ b/qrhl/qrhl.el
@@ -1,5 +1,19 @@
+;;; qrhl.el --- Mode for qrhl-tool theorem prover -*- lexical-binding: t -*-
+
+;; This file is part of Proof General.
+
+;; Copyright © 2017–2022 Dominique Unruh
+
;; Author: Dominique Unruh
+;; SPDX-License-Identifier: GPL-3.0-or-later
+
+;;; Commentary:
+
+;; See also https://dominique-unruh.github.io/qrhl-tool/
+
+;;; Code:
+
(if (version< emacs-version "26")
(require 'qrhl-input-25)
(require 'qrhl-input))
