help: provide on-line help
brief help on what help is available
list all commands, with one-line descriptions
give help on the particular command
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