Admin/page/main-content/docs.content

fixed deps;

%title%
Isabelle Documentation

%body%

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

All this documentation is also part of the Isabelle <a href="dist/">distribution</a>.