The Typol programming environment consists of two type checkers, a compiler, code generator, and debugger. Aside from the debugger, the tools may be called by clicking on buttons in the popup menu associated with the right mouse button in editors containing Typol programs, or in the Typol pulldown menu. You must always type check (button ), compile, and generate code for a given program, in that order. Generated files are stored in the same directory that contains the source.
You may interrupt compilation or type checking by clicking in the item of the popup menu which is temporarily associated with the right mouse button during the three phases of compilation. Since the prolog process runs asynchronously, Centaur responds to input during type checking, etc.