diff options
| author | David Aspinall | 2002-08-08 09:50:17 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-08-08 09:50:17 +0000 |
| commit | 718c85ad3dee0eabd9b37afb3d55412f52720c8d (patch) | |
| tree | 04a76c6a7cc284a4aaacd67a494a5c27547bb5e5 | |
| parent | 23e09f4733e1c4da88113e931ccb91951161c715 (diff) | |
Fix condition for displaying dependency menu
| -rw-r--r-- | generic/pg-user.el | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/generic/pg-user.el b/generic/pg-user.el index e91891c4..b04ee796 100644 --- a/generic/pg-user.el +++ b/generic/pg-user.el @@ -909,7 +909,8 @@ If NUM is negative, move upwards. Return new span." (list (vector "Move down" (list 'pg-move-span-contents span 1) (pg-numth-span-higher-or-lower (pg-control-span-of span) 1 'noerr)))) - (if (and proof-experimental-features (featurep 'proof-depends)) + (if (and proof-experimental-features + proof-shell-theorem-dependency-list-regexp) (proof-dependency-in-span-context-menu span)))) |