The first screenshot shows a typical editing screen in Opsis.
In this screenshot, you can see a portion of the splay
tree insertion algorithm. The vertical stack of states
to the right shows one way we could have arrived at the current state.
(The arrow in these states indicates a loop.)
The horizontal list of states at the bottom shows where computation
might end. The white region near the top is reserved for user
Amir Michail Last modified: Sun Oct 4 19:21:10 PDT 1998