next up previous contents
Next: The Context-menu Up: The scratch area Previous: The Edit-menu

The Goal-menu

Lists all remaining placeholders and their type. You can select a subgoal from this menu.

Bj|rn von Sydow
Wed Mar 20 13:05:14 MET 1996