SHOW-CUSTOM-KEYWORD-HINT-EXPANSION

print out custom keyword hints when they are expanded
Major Section:  EVENTS

  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 nil.

For an explanation of how custom keyword hints are processed, see custom-keyword-hints.