In this tutorial, as in a real Centaur session, you will find yourself
following a cycle of program editing, compilation, and reloading.
When you change a formalism definition, pretty printer definition,
environment, etc., you should reload the appropriate tool from a
button in the main menu's Load pulldown. Thus, after compiling
a Metal abstract syntax specification, click on . A menu will display all known formalism names (as
declared by resources). You may click on Cancel should you
decide against reloading.
And remember, if modify a file containing resource specifications,
click on then
in the ctview's
Display pulldown.