From: Amin Bandali <bandali@gnu.org>
Date: Thu, 12 Sep 2019 03:33:18 +0000 (-0400)
Subject: `george' seems to be a (the?) preferred stylizing of George
X-Git-Url: https://git.shemshak.org/~bandali/george-mode/commitdiff_plain/refs/heads/main?ds=inline

`george' seems to be a (the?) preferred stylizing of George
---

diff --git a/george-mode.el b/george-mode.el
index 4c929de..894f618 100644
--- a/george-mode.el
+++ b/george-mode.el
@@ -24,7 +24,7 @@
 
 ;;; Commentary:
 
-;; This is an Emacs major mode for editing George files.
+;; This is an Emacs major mode for editing `george' files.
 
 ;;; Code:
 
@@ -38,7 +38,7 @@
                   '("NONE" "PROP" "PRED" "TP" "ND" "ST" "Z" "PC")
                   'words)))
     (format "#\\(\\(u\\|a\\|q\\).*\\|check\\s-*%s\\)" methods))
-  "Regexp matching George's directives.")
+  "Regexp matching `george''s directives.")
 
 (defvar george-mode-symbols
   '(";" ":" "," "." "!" "="
@@ -158,7 +158,7 @@
 
 ;;;###autoload
 (define-derived-mode george-mode prog-mode "George"
-  "Major mode for editing George files."
+  "Major mode for editing `george' files."
   :syntax-table george-mode-syntax-table
 
   (setq-local font-lock-defaults george-mode-font-lock-defaults)