author | haftmann |
Fri, 06 May 2005 11:30:10 +0200 | |
changeset 15932 | 2c351ab6c403 |
parent 10020 | 46e77dff3970 |
child 15940 | e1bca926ffa6 |
permissions | -rw-r--r-- |
15932
2c351ab6c403
replaced some outdated HTML by more modern constructs
haftmann
parents:
10020
diff
changeset
|
1 |
<div style="text-align: center; margin-top: 30px; margin-bottom: 45px"> |
2c351ab6c403
replaced some outdated HTML by more modern constructs
haftmann
parents:
10020
diff
changeset
|
2 |
<a href="index.html"> |
2c351ab6c403
replaced some outdated HTML by more modern constructs
haftmann
parents:
10020
diff
changeset
|
3 |
<img src="isabelle.gif" width="100" height="86" alt="[Isabelle logo]" border="0"> |
2c351ab6c403
replaced some outdated HTML by more modern constructs
haftmann
parents:
10020
diff
changeset
|
4 |
<div style="font-weight: bold; margin-top: 10px">Isabelle Distribution Area</div> |
2c351ab6c403
replaced some outdated HTML by more modern constructs
haftmann
parents:
10020
diff
changeset
|
5 |
</a> |
2c351ab6c403
replaced some outdated HTML by more modern constructs
haftmann
parents:
10020
diff
changeset
|
6 |
</div> |
8056 | 7 |
<!-- _GP_ setnavcolor("#F0F0F0") --> |
8 |
<!-- _GP_ page("Mirrors", "index") --> |
|
9 |
<!-- _GP_ empty_line(3) --> |
|
10016 | 10 |
<!-- _GP_ page("Packages", "packages") --> |
8056 | 11 |
<!-- _GP_ empty_line(3) --> |
12 |
<!-- _GP_ page("Documentation", "docs") --> |
|
13 |
<!-- _GP_ empty_line(3) --> |
|
14 |
<!-- _GP_ page("Past Releases", "past") --> |
|
15 |
<!-- _GP_ empty_line(3) --> |
|
16 |
|