help: provide on-line help
help;
brief help on what help is available
help commands;
list all commands, with one-line descriptions
help <command>;
give help on the particular command
Notes
Syntax of the process algebra, which used to be under help syntax, is now
given by a command with the name of the process algebra, ccs or sccs.
Similarly, to get help on the syntax of the logic, use command logic.
The old help brief has been removed, since it didn't seem very useful.
(Let me know what would be useful!)
Edinburgh Concurrency Workbench (v7.1).
Page generated: Sun Jul 18 11:46:51 BST 1999