| changeset 9920 | 9734f2717203 |
| parent 8056 | 3c587e7b8fe5 |
| child 9934 | aea053733eb0 |
--- a/Admin/page/dist-content/docs.content Mon Sep 11 17:40:41 2000 +0200 +++ b/Admin/page/dist-content/docs.content Mon Sep 11 17:41:34 2000 +0200 @@ -6,4 +6,5 @@ <!-- _GP_ include("$pwd/docu-contents.dist") --> -All this documentation is also part of the Isabelle <a href="source.html">distribution</a>. +All this documentation is also part of the Isabelle <a +href="source.html">distribution</a> (both as dvi and pdf).