changeset 9920 | 9734f2717203 |
parent 9285 | 21bfc8c14c3d |
child 10020 | 46e77dff3970 |
9919:3cf12ab0b8ac | 9920:9734f2717203 |
---|---|
1 <p> |
1 <p> |
2 |
2 |
3 <center> |
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> |
4 <a href="index.html"><img src="isabelle.gif" width="100" height="86" alt="[Isabelle logo]" border="0"></a> |
5 </center> |
5 </center> |
6 <p> |
6 <p> |
7 |
7 |
8 <p> |
8 <p> |
9 <!-- _GP_ setnavcolor("#F0F0F0") --> |
9 <!-- _GP_ setnavcolor("#F0F0F0") --> |