TAJA - Documentation
File Menu
New
: create a new automaton (the current automaton will be overwritten).
Open
: open an automaton from a .ta file.
Save
: save the current automaton in a file.
Quit
: quit TAJA.
Back to Table of Contents