CUSTOM-KEYWORD-HINTS

user-defined hints
Major Section:  MISCELLANEOUS

See add-custom-keyword-hint for a discussion of how advanced users can define their own hint keywords. For examples, see the community books directory books/hints/, in particular basic-tests.lisp.

Some Related Topics