author | wenzelm |
Mon, 11 Sep 2000 17:41:34 +0200 | |
changeset 9920 | 9734f2717203 |
parent 8056 | 3c587e7b8fe5 |
child 9934 | aea053733eb0 |
permissions | -rw-r--r-- |
8056 | 1 |
%title% |
2 |
Isabelle Documentation |
|
3 |
||
4 |
%body% |
|
5 |
The Isabelle documentation: |
|
6 |
||
7 |
<!-- _GP_ include("$pwd/docu-contents.dist") --> |
|
8 |
||
9920
9734f2717203
improved WWW page generation (still somewhat experimental);
wenzelm
parents:
8056
diff
changeset
|
9 |
All this documentation is also part of the Isabelle <a |
9734f2717203
improved WWW page generation (still somewhat experimental);
wenzelm
parents:
8056
diff
changeset
|
10 |
href="source.html">distribution</a> (both as dvi and pdf). |