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 7e5718bb..a405f187 100644 --- a/generic/proof-x-symbol.el +++ b/generic/proof-x-symbol.el @@ -277,7 +277,7 @@ takes place (it isn't used for output-only buffers)." ;; contents) have changed. Shouldn't x-symbol do this? (font-lock-fontify-buffer))))))) -;;;####autoload +;;;###autoload (defun proof-x-symbol-shell-config () "Configure the proof shell for x-symbol, if proof-x-symbol-support<>nil. Assumes that the current buffer is the proof shell buffer." |