`george' seems to be a (the?) preferred stylizing of George main
authorAmin Bandali <bandali@gnu.org>
Thu, 12 Sep 2019 03:33:18 +0000 (23:33 -0400)
committerAmin Bandali <bandali@gnu.org>
Thu, 12 Sep 2019 03:33:18 +0000 (23:33 -0400)
george-mode.el

index 4c929de..894f618 100644 (file)
@@ -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
   '(";" ":" "," "." "!" "="
 
 ;;;###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)