From de7d43bf2f03c42dab34be88be5a94b6b50a9edc Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 16 Aug 2002 16:48:03 +0000 Subject: Docstring. --- generic/proof-depends.el | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'generic/proof-depends.el') 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) -- cgit v1.2.3