diff options
| -rw-r--r-- | generic/proof-config.el | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index 289f0788..9602f56f 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -1748,10 +1748,7 @@ Subsequent special characters with values *below* indicators. Annotations should be finished with `pg-subterm-sep-char'; the end of the concrete syntax is indicated by `pg-subterm-end-char'. -If `pg-subterm-start-char' is nil, subterm markup is disabled. - -See doc of `pg-assoc-analyse-structure' for more details of -subterm and proof-by-pointing markup mechanisms.." +If `pg-subterm-start-char' is nil, subterm markup is disabled." :type '(choice character (const nil)) :group 'proof-goals) |