The content in the plug-in is GENERATED from the documentation on the Eclipse Wiki (EclipsePedia).

DO NOT EDIT FILES IN THIS PROJECT; INSTEAD, EDIT THE WIKI AND RE-GENERATE THIS CONTENT.

See the Photran Developer's Guide for more information.