diff options
| author | David Aspinall | 2010-10-10 13:23:39 +0000 |
|---|---|---|
| committer | David Aspinall | 2010-10-10 13:23:39 +0000 |
| commit | a80aa5dcf27747df92722ba64a8167930c9c9318 (patch) | |
| tree | 0e001b49dc0dc4ac20cbb0468a7b7a9158613b1c /generic/proof-shell.el | |
| parent | aa05014e57a142a4df724afb7566a5fcb9791036 (diff) | |
Adjust a comment on proof-shell-mode
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, |