At any time the user can get help about the current possibilities by clicking on the right-button.
Commands are accessible either thru the command line using completion
(achieved with the <TAB> key
or from the menus items. Some commands are also available from buttons.
All commands accessible are accessible by typing the command name (written on the item) to the Command prompt. The latter is recommended as thru completion it will save the user a lot of typing. Completion works for commands, data filenames, automaton names, trs names, termset names.
The menu are there to remind the user of every possible command or for people who don't like to type. In any case, at the moment, arguments of commands need to be typed in the interactor pane.
The Read commands are used to read Autowrite objects into the current specificationc directly from the command line. The Load commands are used to load Autowrite objects into the current specificationfrom a file. The Save commands are used to save Autowrite objects into a file. The Retrieve commands are used to set the current Autowrite object with an already computed object.