(<B>F7</B>)</P>
<P ALIGN=JUSTIFY STYLE="font-style: normal; font-weight: medium">The
executed parts of the program are marked gray. The user can reset the
text coloring at any time by pressing <B>F3</B>.</P>
<P ALIGN=JUSTIFY STYLE="font-style: normal; font-weight: medium">This
is accomplished by feeding the program text to the Scala interpreter
for execution. We should note at this point that the integration with
the Scala Compiler is not tight in the sense that the editor does not
retrieve the ASTs