diff options
| -rw-r--r-- | generic/proof-x-symbol.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-x-symbol.el b/generic/proof-x-symbol.el index cca7179c..d4bec8f5 100644 --- a/generic/proof-x-symbol.el +++ b/generic/proof-x-symbol.el @@ -101,7 +101,7 @@ The package is available at http://www.fmi.uni-passau.de/~wedler/x-symbol")) (symmode-nm (concat xs-lang-name "sym-mode")) (symmode (intern symmode-nm)) (symnamevar (intern (concat xs-feature "-name"))) - (symname (concat xs-lang-name " Symbols")) + (symname (concat (capitalize xs-lang-name) " Symbols")) (symmodelinevar (intern (concat xs-feature "-modeline-name"))) (symmodelinenm xs-lang-name) (flks proof-xsym-font-lock-keywords)) |