<?xml version="1.0" encoding="UTF-8"?>
<?NLS TYPE="org.eclipse.help.toc"?>
<!-- ===================================== -->
<!-- Define topics for the Tips and Tricks -->
<!-- ===================================== -->
<toc label="Tips and tricks">
	<topic label="Workbench" href="tips/platform_tips.html#Workbench"/>
	<topic label="Editing" href="tips/platform_tips.html#Editing"/>
	<topic label="Ant" href="tips/platform_tips.html#Ant"/>
	<topic label="Help" href="tips/platform_tips.html#Help"/>
	<topic label="Team - CVS" href="tips/platform_tips.html#CVS"/>
</toc>