equal
deleted
inserted
replaced
1 <div style="text-align: center; margin-top: 30px; margin-bottom: 45px"> |
|
2 <a href="index.html"> |
|
3 <img src="isabelle.gif" width="100" height="86" alt="[Isabelle logo]" border="0"> |
|
4 </a> |
|
5 </div> |
|
6 <!-- _GP_ setnavcolor("#F0F0F0") --> |
|
7 <!-- _GP_ page("Home", "index") --> |
|
8 <!-- _GP_ empty_line(3) --> |
|
9 <!-- _GP_ page("Overview", "overview") --> |
|
10 <!-- _GP_ empty_line(3) --> |
|
11 <!-- _GP_ page("Logics", "logics") --> |
|
12 <!-- _GP_ empty_line(3) --> |
|
13 <!-- _GP_ page("Documentation", "docs") --> |
|
14 <!-- _GP_ empty_line(3) --> |
|
15 <!-- _GP_ page("Download", "dist/index") --> |
|
16 <!-- _GP_ empty_line(3) --> |
|
17 |
|