From: Amin Bandali 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/gitweb.cgi/~bandali/george-mode/commitdiff_plain/refs/heads/main `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)