ACL2-PC::HELP-LONG

(macro) same as help!
Major Section:  PROOF-CHECKER-COMMANDS

See the documentation for help!.

Help-long has been included in addition to help! for historical reasons. (Such a command is included in Pc-Nqthm).