Docstrings

1 files changed, 10 insertions, 8 deletions

diff --git a/generic/proof-config.el b/generic/proof-config.el
index 1f85a377..13f0e3ee 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -824,19 +824,21 @@ will be lost.
 
 The engine matches interrupts before errors, see proof-shell-interupt-regexp.
 
-It is safe to leave this variable unset nil."
+It is safe to leave this variable unset (as nil)."
   :type '(choice nil regexp)
   :group 'proof-shell) 
 
 (defcustom proof-shell-interrupt-regexp nil
   "Regexp matching output indicating the assistant was interrupted.
-We assume that an interrupt message corresponds to a failure
-in the last proof command executed. So don't match
-mere warning messages with this regexp.
-Moreover, an interrupt message should not be matched as
-an eager annotation (see proof-shell-eager-annotation-start)
-otherwise it will be lost.
-The engine matches interrupts before errors."
+We assume that an error message corresponds to a failure in the last
+proof command executed.  So don't match mere warning messages with
+this regexp.  Moreover, an error message should not be matched as an
+eager annotation (see proof-shell-eager-annotation-start) otherwise it
+will be lost.
+
+The engine matches interrupts before errors, see proof-shell-error-regexp.
+
+It is safe to leave this variable unset (as nil)."
   :type 'regexp
   :group 'proof-shell)