From e377ef5bd21783046fc5d02dd4fdc695e9baccc7 Mon Sep 17 00:00:00 2001 From: Amin Bandali Date: Wed, 11 Sep 2019 23:33:18 -0400 Subject: [PATCH] `george' seems to be a (the?) preferred stylizing of George --- george-mode.el | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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) -- 2.20.1