The main menu consists of three pulldown menus:
- View: Contains buttons to open Centaur editor views or the
global clipboard.
- Load: Contains buttons to load formalism tools such as
the formalism's persistent representation, pretty printers, parsers,
the environment module, etc. The
button
reloads resources from files.
- End: Contains a button to end the Centaur session.