<> <> <> <> PrintingState: CEDAR DEFINITIONS = BEGIN Type: TYPE = {started, stopped, paused, readyToResume, completed}; END. LOG when/who/what 13-Jun-85 10:40:52 - Jacks - Created. Took def from MarkerControl.