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