| author | kleing |
| Thu, 21 Sep 2000 14:31:51 +0200 | |
| changeset 10049 | 605c7f56d54b |
| parent 10041 | 30693ebd16ae |
| child 10344 | bb0b65380516 |
| permissions | -rw-r--r-- |
| 8056 | 1 |
<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN"> |
2 |
<html> |
|
3 |
<!-- _GP_ include("$pwd/common/functions.pl") -->
|
|
4 |
<head> |
|
5 |
<title> <!-- _GP_ content("title") --> </title>
|
|
6 |
<META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=iso-8859-1"> |
|
7 |
<!-- _GP_ content("meta") -->
|
|
8 |
</head> |
|
9 |
||
10 |
<body text="#000000" bgcolor="#FFFFFF" link="#0000FF" vlink="#000099" alink="#404040"> |
|
11 |
||
|
10049
605c7f56d54b
added height="100%" to stretch page to whole browser window
kleing
parents:
10041
diff
changeset
|
12 |
<table border="0" cellspacing="5" width="100%" height="100%"> |
| 8056 | 13 |
|
14 |
<tr> |
|
15 |
<td width="20%" valign="top" bgcolor="#aacccc"> |
|
16 |
<!-- _GP_ include("$pwd/main-layout/navigation.html") -->
|
|
17 |
</td> |
|
18 |
||
19 |
<td width="80%" valign="top"> |
|
20 |
||
21 |
<center> |
|
22 |
<table width="95%" border="0" cellspacing="10" cellpadding="10"> |
|
23 |
<tr> |
|
24 |
<td width="60%" align="center" bgcolor="#aacccc"> |
|
25 |
<b> |
|
26 |
<font face="Arial,Helvetica" size="+2"><!-- _GP_ content("title") --></font>
|
|
27 |
</b> |
|
28 |
</td> |
|
29 |
<td width="40%" valign="middle" align="center" nowrap> |
|
30 |
<a href="http://isabelle.in.tum.de/munich.html"><img src="munich.gif" |
|
31 |
border=0 width="48" height="59" alt="[Munich logo]"></a> |
|
32 |
||
33 |
<a href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/cambridge.html"><img |
|
34 |
src="cambridge.gif" width="150" height="49" border=0 alt="[Cambridge logo]"></a> |
|
35 |
</td> |
|
36 |
</tr> |
|
37 |
</table> |
|
38 |
</center> |
|
39 |
||
40 |
<p> |
|
41 |
||
42 |
<center> |
|
43 |
<table width="99%" border="0" cellspacing="0" cellpadding="10"> |
|
44 |
<tr> |
|
45 |
<td align="left"> |
|
46 |
<!-- _GP_ content("body") -->
|
|
47 |
</td> |
|
48 |
</tr> |
|
49 |
</table> |
|
50 |
</center> |
|
51 |
</td> |
|
52 |
</tr> |
|
53 |
||
54 |
<tr> |
|
55 |
<td align="right" colspan="2" height="20"> |
|
56 |
<table border="0" cellpadding="4" cellspacing="0"> |
|
57 |
<tr><td> |
|
58 |
<font size="-1" face="helvetica, arial"> |
|
59 |
last update at <!-- _GP_ when --> |
|
60 |
</font> |
|
61 |
</td></tr> |
|
62 |
</table> |
|
63 |
</td> |
|
64 |
</tr> |
|
65 |
||
66 |
</table> |
|
67 |
</body> |
|
68 |
</html> |