8056
|
1 |
%title%
|
|
2 |
Isabelle Documentation
|
|
3 |
|
|
4 |
%body%
|
10006
|
5 |
<!-- _GP_ distname --> documentation is included here as browsable PDF
|
|
6 |
for convenience. These documents are also part of the standard
|
|
7 |
Isabelle distribution.
|
8056
|
8 |
|
|
9 |
<!-- _GP_ include("$pwd/docu-contents.dist") -->
|
10016
|
10 |
|
10018
|
11 |
The following text files of the Isabelle distribution may be also of
|
|
12 |
some interest:
|
10016
|
13 |
<ul>
|
|
14 |
<li> <!-- _GP_ href(distname . "/ANNOUNCE", "ANNOUNCE") -->
|
|
15 |
<li> <!-- _GP_ href(distname . "/README.html", "README") -->
|
|
16 |
<li> <!-- _GP_ href(distname . "/INSTALL", "INSTALL") -->
|
|
17 |
<li> <!-- _GP_ href(distname . "/NEWS", "NEWS") -->
|
|
18 |
</ul>
|