Main Page

JGEX

The Toolbar of the Applet.

1. Animation Bar.

animation bar

play Start the animation.
pause Pause the animation.
stop Stop the animation.
slider Adjust the speed of animation.

2. Proof Step Bar.

proof step bar

step Go to the next step of the proof.
end Go to the end of the proof.
play Start the automated steping. That is, step the proof line by line automatically.
pause Pause the automated steping.
stop Stop the automated steping.
stop Adjust the speed of automated steping.