isabelle: Admin/page/main-content/docs.content@3c587e7b8fe5 (annotated)

8056 3c587e7b8fe5 new webpage layout kleing parents: diff changeset	1	%title%
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	2	Isabelle Documentation
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	3
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	4	%body%
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	5
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	6	<!-- _GP_ include("$pwd/docu-contents.main") -->
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	7
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	8	All this documentation is also part of the Isabelle <a href="dist/">distribution</a>.