Admin/page/dist-content/docs.content
author wenzelm
Mon, 18 Sep 2000 14:49:58 +0200
changeset 10018 7600cd36ec61
parent 10016 3833b58a5d88
child 10162 947b7b8b0a69
permissions -rw-r--r--
tuned;

%title%
Isabelle Documentation

%body%
<!-- _GP_ distname --> documentation is included here as browsable PDF
for convenience.  These documents are also part of the standard
Isabelle distribution.

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

The following text files of the Isabelle distribution may be also of
some interest:
<ul>
<li> <!-- _GP_ href(distname . "/ANNOUNCE", "ANNOUNCE") -->
<li> <!-- _GP_ href(distname . "/README.html", "README") -->
<li> <!-- _GP_ href(distname . "/INSTALL", "INSTALL") -->
<li> <!-- _GP_ href(distname . "/NEWS", "NEWS") -->
</ul>