(*****
 * 
 * This file defines operations on the Scheduler Tool Edit menu
 *
 *)

module MenuEdit;

  from Ws import Workspace;

  operation Undo
    inputs: Workspace;
    outputs: Workspace;
    description: (*
	Reverts last changed item in the Workspace to its previous state 
	*);
  end Undo;

  operation Redo
    inputs: Workspace;
    outputs: Workspace;
    description: (*
	Redoes the last undone item in the Workspace
	*);
  end Redo;

end MenuEdit;