| <?xml version="1.0" encoding="UTF-8"?> | |
| <?NLS TYPE="org.eclipse.help.toc"?> | |
| <toc label="Getting Started" link_to="toc.xml#gettingstarted"> | |
| <topic label="Emfatic Getting Started Guide" | |
| href="html/gettingstarted/example.html"> | |
| </topic> | |
| <topic label="Productivity features in the editor" | |
| href="html/gettingstarted/GUIFeatures.htm" > | |
| </topic> | |
| <topic label="Possibilities for Future Work" | |
| href="html/gettingstarted/FutureWork.htm" > | |
| </topic> | |
| </toc> |