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