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.