New
Create new FSP script for editing. Only enabled when the Edit Pane is at the
front.
Open
Read in an FSP script from file. Only enabled when the Edit Pane is at the front.
Save
The action taken is dependent on the tabbed pane that is currently selected
(at the top). If the Edit Pane is selected, the FSP script is saved to file.
If the Draw Pane is selected, the curently selected LTS graph is saved to file
in Macintosh PICT format. If the Alphabet Pane is selected, the alphabet of
the currently selected process is saved to a text file. If the Transitions Pane
is selected, the transitions of the currently selected process is saved to a
text file.
Save As
Only enabled for Edit Pane. When the Edit Pane is selected, the FSP script can
be saved to a file with a different name.
Export
Only enabled for Edit Pane and Transitions Pane. When the Edit Pane is selected,
the target composition is exported to a .aut file in Aldebaran format. When
the Transitions Pane is selected, the LTS for the selected process is exported
to a .aut file in Aldebaran format.
Quit
Terminates the LTSA application. If the FSP script has been modified but not
saved, a dialog boxc appears.