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