Gri Commands
|
12.16: The `
|
`help [*|command_name|{- topic}]' |
Give help on a command or topic.
help
'
Print a general help message.
help *
'
Prints complete help info.
help command_name
'
Prints help on the command whose name begins with the
string `command_name
'. The string may be several words long; e.g.
`help set
' or `help set x axis
'.
help - topic_name
'
The minus sign tells Gri that the string to follow it is a topic, not a
command. Topics Gri knows about are listed by the one-word `help
'
request.