diff options
| author | David Aspinall | 2002-08-15 23:33:06 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-08-15 23:33:06 +0000 |
| commit | 3570f7130244d2168c29ab1546c56711db31b7bc (patch) | |
| tree | ed0c54a2354c56e8c8e3a310635149a0406a1e77 | |
| parent | 5e0fbb62b83ad87471da8306b0f200319010619f (diff) | |
Typo
| -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." |