Keeping PlatSim internal only.
<?xml version="1.0" encoding="UTF-8"?>
<?NLS TYPE="org.eclipse.help.toc"?>
<toc label="Introduction" topic="html/introduction/intro.htm">
<topic label="New Features and Bug Fixes" href="html/introduction/new_features.htm" />
<topic label="Related Documentation" href="html/introduction/documentation.htm" />
<topic label="Verifying the Compiler Version" href="html/introduction/version.htm" />
<topic label="Common Conventions" href="html/introduction/conventions.htm" />
</toc>