diff options
| author | David Aspinall | 2002-08-16 16:48:03 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-08-16 16:48:03 +0000 |
| commit | de7d43bf2f03c42dab34be88be5a94b6b50a9edc (patch) | |
| tree | 6fc88074e95fb952ae860643a64a6eca60a0aa3e | |
| parent | b4dea574ab1cae343f127c08e4af8a0b099afc3b (diff) | |
Docstring.
| -rw-r--r-- | generic/proof-depends.el | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/generic/proof-depends.el b/generic/proof-depends.el index af83afe9..9907f3a5 100644 --- a/generic/proof-depends.el +++ b/generic/proof-depends.el @@ -170,9 +170,11 @@ If LIST is empty, return a disabled menu item with NAME." (skip-chars-forward " \t\n")) (defun proof-show-dependency (thm) - "Show dependency THM using `proof-show-dependency-cmd'." + "Show dependency THM using `proof-show-dependency-cmd'. +This is simply to display the dependency somehow." (if proof-shell-show-dependency-cmd ;; robustness - (proof-shell-invisible-command (format proof-shell-show-dependency-cmd thm)))) + (proof-shell-invisible-command + (format proof-shell-show-dependency-cmd thm)))) (defconst pg-dep-span-priority 500) (defconst pg-ordinary-span-priority 100) |