[nongnu] elpa/proof-general afb17bbee9 21/25: qrhl: Updated copyright headers. Set lexical-binding: t

[ELPA Syncer]

branch: elpa/proof-general
commit afb17bbee9d519053ecea518d4b6e051864b63e5
Author: Dominique Unruh <unruh@ut.ee>
Commit: Dominique Unruh <unruh@ut.ee>

    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 <ntakahas@m17n.org>
 ;;         Dave Love <fx@gnu.org>
-;; Keywords: multilingual, input, Greek, i18n
+;;         Dominique Unruh <unruh@ut.ee>
 
-;; Author: Dominique Unruh <unruh@ut.ee>
+;; 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 <ntakahas@m17n.org>
 ;;         Dave Love <fx@gnu.org>
-;; Keywords: multilingual, input, Greek, i18n
+;;         Dominique Unruh <unruh@ut.ee>
 
-;; Author: Dominique Unruh <unruh@ut.ee>
+;; 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))