equal
deleted
inserted
replaced
|
1 <p> |
|
2 |
|
3 <center> |
|
4 <a href="index.html"><img src="dist/{ISABELLE}/lib/logo/isabelle.gif" width="100" height="86" alt="[Isabelle logo]" border="0"></a> |
|
5 </center> |
|
6 <p> |
|
7 |
|
8 <p> |
|
9 <!-- _GP_ setnavcolor("#F0F0F0") --> |
|
10 <!-- _GP_ page("Home", "index") --> |
|
11 <!-- _GP_ empty_line(3) --> |
|
12 <!-- _GP_ page("About", "about") --> |
|
13 <!-- _GP_ empty_line(3) --> |
|
14 <!-- _GP_ page("Documentation", "docs") --> |
|
15 <!-- _GP_ empty_line(3) --> |
|
16 <!-- _GP_ page("Download", "dist/index") --> |
|
17 <!-- _GP_ empty_line(3) --> |
|
18 <!-- _GP_ empty_line(3) --> |
|
19 |