help: provide on-line 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


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