More portal framework changes:
support for page command bars in page extension
ordering across layers on page
abstract discovery UI pages
improvements to open editor asap and defer updates if needed
<?xml version="1.0" encoding="UTF-8"?>
<?NLS TYPE="org.eclipse.help.toc"?>
<toc label="C Predefined Symbols" href="html/symbols/symbols.htm">
<topic label="ANSI Predefined Symbols" href="html/symbols/sym_ansi.htm" />
<topic label="Carbide Predefined Symbols" href="html/symbols/sym_carbide.htm" />
<topic label="Checking Option Settings" href="html/symbols/sym_settings.htm" />
</toc>