toggle: toggle various CWB user options
toggle "userOption";
toggle a particular named option
toggle;
see toggleable options, toggle one of them
Notes
Use the toggle; form to see the currently available toggles, their
documentation and their current values.
See also
cwb
Edinburgh Concurrency Workbench (v7.1).
Page generated: Sun Jul 18 11:46:51 BST 1999