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