diff options
Diffstat (limited to 'generic/proof-shell.el')
| -rw-r--r-- | generic/proof-shell.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index f02cca96..0c0b2173 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -335,7 +335,7 @@ process command." ;; Set text representation (see CVS history for comments) (proof-shell-set-text-representation) - ;; Initialise shell mode (does process initialisation) + ;; Initialise shell mode (calls hook function, after process started) (funcall proof-mode-for-shell) ;; Check to see that the process is still going. If not, |