In the command description, the syntax uses the following conventions.
| <arg> | ! | an argument to the command | |||
| <arg c> =:: <arg a> <arg b> | ! | defines <arg c> as <arg a> followed by <arg b> | |||
| <arg>... | ! | a repeated string of arguments of the same type | |||
| [<arg>] | ! | is an optional argument. | |||
| { <arg a> | <arg b> } | ! | indicates a choice between an argument of type | |||
| ! | <arg a> or <arg b> |
Exceptional responses to the command prompt are :
| an empty line | - Nothing performed, prompt repeated |
| / | - Any remaining arguments will have the values given on the last invocation of the command |
| <EOF> | - same as quit |
| otherwise use / |
|
| ? (or anything else) | - Write a list of the commands |