Admin/page/main-content/docs.content

improved WWW page generation (still somewhat experimental);

%title%
Isabelle Documentation

%body%

<!-- _GP_ include("$pwd/docu-contents.main") -->

All this documentation is also part of the Isabelle <a
href="dist/">distribution</a> (both as dvi and pdf).