- The Main Menu
- File
- Examples
- Construct
- Constraint
- Eqangle
- Nteqangle
- Eqangle3p
- Angle Specification
- Add Ratio
- Eqside
- CCtangent
- Action
- Prove
- Prove
- To Prove
- Numerical Check
- Nondegenerate Conditions
- Leading Variable
- Lemmas
- Rulers for Full Angle Method
- Rulers for GDD method
- Option
- Options
- Construct History
- Show Step Bar
- Help
- Help
- Online Help
- About JGEX
JGEX Help