basic plug-in project for Isabelle/Eclipse documentation
basic ToC structure
use Maven Doxia to generate documentation from Markdown sources;

This requires Maven-site layout for the documentation, which is then generated into /target/generated-docs as correct documentation.
using Help formatting from Platform product

Copied various book CSS files from Platform product branding plugin - they are referenced from Help files.
Launch configuration docs
theory editor docs
prover output view docs
go to definition docs
content assist docs
tooltips docs
outline view docs
symbols view docs
font adjustment docs
getting started docs
add first steps section to Welcome page;
remove tutorials and samples sections (nothing contributed there yet);
basic ToC for features that can be referenced
contribute link to Isabelle/Eclipse website to Welcome/Web Resources
contribute links to Isabelle/Eclipse help pages to Overview and First Steps pages in Welcome part
help plugin dependency
attempting to add context help to Isabelle launch config