diff options
| author | Amin Bandali <bandali@gnu.org> | 2019-09-11 23:33:18 -0400 |
|---|---|---|
| committer | Amin Bandali <bandali@gnu.org> | 2019-09-11 23:33:18 -0400 |
| commit | e377ef5bd21783046fc5d02dd4fdc695e9baccc7 (patch) | |
| tree | 9ed7645fabc791049e025c782bbcabfa053185ae /george-mode.el | |
| parent | 44710136c71ae514977a305fd65465220ee72003 (diff) | |
| download | george-mode-e377ef5bd21783046fc5d02dd4fdc695e9baccc7.tar.gz george-mode-e377ef5bd21783046fc5d02dd4fdc695e9baccc7.tar.xz george-mode-e377ef5bd21783046fc5d02dd4fdc695e9baccc7.zip | |
Diffstat (limited to '')
| -rw-r--r-- | george-mode.el | 6 |
1 files 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) |