TAJA - Documentation

---

• Menu File
• Menu Help
• Bar tool
• Index Symbols and States
• Index Transitions
• Index Propertiess
• Index Run
• Index Operations
• Syntax of file .ta