open
In proving mode.
This command prints the list of open proof states in the order as they are encountered in a depth-first left-to-right search of the proof tree.