diff options
| author | David Aspinall | 2002-08-28 23:10:02 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-08-28 23:10:02 +0000 |
| commit | 7426585190a3bee979818adc76639162372da6b7 (patch) | |
| tree | f91cbe0bbe7d84ae1a52ea9a000cfdb47e7ccc85 | |
| parent | 08f9b032abee4323acdf61555bf0cbe512968eda (diff) | |
checkdoc induced docstring tweaks.
| -rw-r--r-- | generic/proof-script.el | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index 3e5e8f0d..702b4ad3 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -35,7 +35,7 @@ (defvar proof-last-theorem-dependencies nil "Contains the dependencies of the last theorem. A list of strings. -Set in proof-shell-process-urgent-message.") +Set in `proof-shell-process-urgent-message'.") (defvar proof-nesting-depth 0 "Current depth of a nested proof. @@ -45,7 +45,7 @@ This variable is maintained in proof-done-advancing; it is zeroed in proof-shell-clear-state.") (defvar proof-element-counters nil - "Table of (name . count) pairs, counting elements in scripting buffer.") + "Table of (name . count) pairs, counting elements in scripting buffer.") ;; Buffer-local variables @@ -2800,4 +2800,3 @@ finish setup which depends on specific proof assistant configuration." (provide 'proof-script) ;; proof-script.el ends here. - |