diff -r bb15396278fb -r 3c587e7b8fe5 Admin/page/main-content/docs.content
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/page/main-content/docs.content	Thu Dec 09 11:34:32 1999 +0100
@@ -0,0 +1,8 @@
+%title%
+Isabelle Documentation
+
+%body%
+
+<!-- _GP_ include("$pwd/docu-contents.main") -->
+
+All this documentation is also part of the Isabelle <a href="dist/">distribution</a>.