Rename proof-shell-process-output -> proof-shell-classify-output

3 files changed, 9 insertions, 9 deletions

diff --git a/coq/coq.el b/coq/coq.el
index ad4c7bdc..e38c215f 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -941,13 +941,13 @@ This is specific to `coq-mode'."
 ;; Actually this could be done by adapting process-delayed-output.
 (defun coq-hybrid-ouput-goals-response-p (cmd string)
   "Specific test function to detect hybrid response/goal output from coq. 
-To be used in `proof-shell-process-output-system-specific'. "
+To be used in `proof-shell-classify-output-system-specific'. "
   (proof-shell-string-match-safe "[0-9]+ subgoals?" string)  
   )
 
 (defun coq-hybrid-ouput-goals-response (cmd string)
   "Specific function to deal with hybrid response/goal output from coq. 
-To be used in `proof-shell-process-output-system-specific'."
+To be used in `proof-shell-classify-output-system-specific'."
   ;; match subgoal list anywhere in the ouput
   ;; then display the message before it, and then do as a normal goal
   ;; output.
@@ -958,7 +958,7 @@ To be used in `proof-shell-process-output-system-specific'."
     (unless nil ;(not (null proof-action-list)) 
       ;(setq proof-shell-last-output goalstring)
       ;(setq proof-shell-last-output-kind 'goals)
-      ;; (proof-shell-process-output cmd goalstring)
+      ;; (proof-shell-classify-output cmd goalstring)
       (pg-goals-display goalstring) ;; this erases response buffer
       (pg-response-display prestring);; this does not erase goals buffer
       ;(proof-shell-handle-delayed-output-hook)
@@ -1000,7 +1000,7 @@ To be used in `proof-shell-process-output-system-specific'."
                                         ; (proof-assistant-settings-cmd))
    proof-shell-restart-cmd coq-shell-restart-cmd
    pg-subterm-anns-use-stack t
-   proof-shell-process-output-system-specific
+   proof-shell-classify-output-system-specific
    '(coq-hybrid-ouput-goals-response-p . coq-hybrid-ouput-goals-response)
    )
   
diff --git a/generic/proof-config.el b/generic/proof-config.el
index bf45a2b1..fad43ef2 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -2247,10 +2247,10 @@ before returning to the top level."
   :type '(repeat function)
   :group 'proof-shell)
 
-(defcustom proof-shell-process-output-system-specific nil
+(defcustom proof-shell-classify-output-system-specific nil
   "Set this variable to handle system specific output.
 Errors, start of proofs, abortions of proofs and completions of
-proofs are recognised in the function `proof-shell-process-output'.
+proofs are recognised in the function `proof-shell-classify-output'.
 All other output from the proof engine is simply reported to the
 user in the RESPONSE buffer.
 
@@ -2258,10 +2258,10 @@ To catch further special cases, set this variable to a pair of
 functions '(condf . actf).  Both are given (cmd string) as arguments.
 `cmd' is a string containing the currently processed command.
 `string' is the response from the proof system.  To change the
-behaviour of `proof-shell-process-output', (condf cmd string) must
+behaviour of `proof-shell-classify-output', (condf cmd string) must
 return a non-nil value.  Then (actf cmd string) is invoked.
 
-See the documentation of `proof-shell-process-output' for the required
+See the documentation of `proof-shell-classify-output' for the required
 output format."
   :type '(repeat function)
   :group 'proof-shell)
diff --git a/plastic/plastic.el b/plastic/plastic.el
index 1ed3333a..e15f708b 100644
--- a/plastic/plastic.el
+++ b/plastic/plastic.el
@@ -488,7 +488,7 @@ We assume that module identifiers coincide with file names."
         proof-shell-init-cmd plastic-process-config
 	proof-shell-restart-cmd plastic-process-config
         pg-subterm-anns-use-stack nil
-        proof-shell-process-output-system-specific plastic-shell-process-output
+        proof-shell-classify-output-system-specific plastic-shell-process-output
         plastic-shell-current-line-width nil
 
 	proof-shell-process-file