If the program does not respond to your keystrokes, click in the program area to get its attention. Clear your Java class loader cache on occasion to be sure you're getting the most recent software and latest set of proofs.
If you'd like to help enter proofs, please email me (my address is on my main page). You don't have to know how to program.
When rereading Elements and glancing between picture and proof, it occurred to me that it would be nice to have the proof and its picture presented and drawn a step at a time, as if Euclid were standing there bringing the proof to life.
- Mike Markowski
Search words: dynamic interactive planar Euclidean geometry