Admin/page/main-content/docs.content

dummy (generated by makedist);

%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).