diff options
| author | Makarius Wenzel | 2000-09-13 20:34:07 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2000-09-13 20:34:07 +0000 |
| commit | 16abe31496ad0baa426c8941fcc49b3285009940 (patch) | |
| tree | 727cf8ebeafcf5fb0c3a5562a087f5565e129737 | |
| parent | f202e65fc3542295247dff380c1b02ad11c2ec8f (diff) | |
capitalize xs-lang-name;
| -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)) |