equal
deleted
inserted
replaced
|
1 %title% |
|
2 Isabelle Documentation |
|
3 |
|
4 %body% |
|
5 The Isabelle documentation: |
|
6 |
|
7 <!-- _GP_ include("$pwd/docu-contents.dist") --> |
|
8 |
|
9 All this documentation is also part of the Isabelle <a href="source.html">distribution</a>. |