[an error occurred while processing this directive]

	 <P>If you are in debug mode you can ask JAVA-RAP to display all currently
		active goals.</P><IMG
	 SRC="images/goals.gif" WIDTH="459" HEIGHT="297" BORDER="0">
	 <P>On the left there is a list of all goals available. Choose one and it
		will be displayed on the right.<BR>There are also three buttons available:</P>
	 <UL>
		<LI><B>Set Current</B> forces RAP to continue evaluating from this
		  special goal</LI>
		<LI><B>Delete</B> removes the selected goal from the list. This may have
		  the side effect that others goals are removed.</LI>
		<LI><B>Close</B> closes the goal window.</LI>
	 </UL>
	 <P>Note: This window can only be used in debug mode.</P> 
	 <P><FONT SIZE="-1"><A HREF="htmlmanual.shtml">back to
		contents</A></FONT></P>

[an error occurred while processing this directive]

31-Jul-2012, 14:17:23 CEST
</div>
</body>
</html>