Major Section: CUSTOM-KEYWORD-HINTS
Examples: (show-custom-keyword-hint-expansion t) (show-custom-keyword-hint-expansion nil)
General Form: (show-custom-keyword-hint-expansion flg)
If the value of
flg is non-
nil, then when custom keyword hints are
expanded, the system prints the results of each expansion. This is sometimes
useful for debugging custom keyword hints and, from time to time, may be
useful in understanding how a custom hint affects some proof attempt.
The default setting is
For an explanation of how custom keyword hints are processed, see custom-keyword-hints.