Eclipse Help Platform


Table of Contents

eclipse.autolabel — Should tree-like ToC use autonumbering feature?
eclipse.plugin.name — Eclipse Help plugin name
eclipse.plugin.id — Eclipse Help plugin id
eclipse.plugin.provider — Eclipse Help plugin provider name