isabelle: Admin/page/main-layout/template.html@2de79f493856 (annotated)

8056 3c587e7b8fe5 new webpage layout kleing parents: diff changeset	1	<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN">
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	2	<html>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	3	<!-- _GP_ include("$pwd/common/functions.pl") -->
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	4	<head>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	5	<title> <!-- _GP_ content("title") --> </title>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	6	<META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=iso-8859-1">
13816 cc228bd9c1fc favicon kleing parents: 13088 diff changeset	7	<LINK REL="SHORTCUT ICON" HREF="favicon.ico">
8056 3c587e7b8fe5 new webpage layout kleing parents: diff changeset	8	<!-- _GP_ content("meta") -->
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	9	</head>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	10
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	11	<body text="#000000" bgcolor="#FFFFFF" link="#0000FF" vlink="#000099" alink="#404040">
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	12
10344 bb0b65380516 cleanup, looks ok now with konqueror, too kleing parents: 10049 diff changeset	13	<table border="0" cellspacing="5" width="100%">
8056 3c587e7b8fe5 new webpage layout kleing parents: diff changeset	14
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	15	<tr>
14019 b141b26145e1 different colors for new release kleing parents: 13816 diff changeset	16	<td width="188" valign="top" bgcolor="#608080">
8056 3c587e7b8fe5 new webpage layout kleing parents: diff changeset	17	<!-- _GP_ include("$pwd/main-layout/navigation.html") -->
15294 6b73cbe3460f replaced strangely encoded space characters by   kleing parents: 14019 diff changeset	18	<table height="20"><tr><td> </td></tr></table>
8056 3c587e7b8fe5 new webpage layout kleing parents: diff changeset	19	</td>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	20
10344 bb0b65380516 cleanup, looks ok now with konqueror, too kleing parents: 10049 diff changeset	21	<td width="100%" valign="top">
8056 3c587e7b8fe5 new webpage layout kleing parents: diff changeset	22
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	23	<center>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	24	<table width="95%" border="0" cellspacing="10" cellpadding="10">
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	25	<tr>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	26	<td width="60%" align="center" bgcolor="#aacccc">
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	27	<b>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	28	<font face="Arial,Helvetica" size="+2"><!-- _GP_ content("title") --></font>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	29	</b>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	30	</td>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	31	<td width="40%" valign="middle" align="center" nowrap>
13088 56b21879c603 new link to munich group kleing parents: 10344 diff changeset	32	<a href="http://www4.in.tum.de/proj/theoremprov/group.html"><img src="munich.gif"
8056 3c587e7b8fe5 new webpage layout kleing parents: diff changeset	33	border=0 width="48" height="59" alt="[Munich logo]"></a>
15294 6b73cbe3460f replaced strangely encoded space characters by   kleing parents: 14019 diff changeset	34
8056 3c587e7b8fe5 new webpage layout kleing parents: diff changeset	35	<a href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/cambridge.html"><img
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	36	src="cambridge.gif" width="150" height="49" border=0 alt="[Cambridge logo]"></a>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	37	</td>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	38	</tr>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	39	</table>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	40	</center>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	41
15294 6b73cbe3460f replaced strangely encoded space characters by   kleing parents: 14019 diff changeset	42	<p>
8056 3c587e7b8fe5 new webpage layout kleing parents: diff changeset	43
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	44	<center>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	45	<table width="99%" border="0" cellspacing="0" cellpadding="10">
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	46	<tr>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	47	<td align="left">
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	48	<!-- _GP_ content("body") -->
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	49	</td>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	50	</tr>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	51	</table>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	52	</center>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	53	</td>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	54	</tr>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	55
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	56	<tr>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	57	<td align="right" colspan="2" height="20">
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	58	<table border="0" cellpadding="4" cellspacing="0">
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	59	<tr><td>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	60	<font size="-1" face="helvetica, arial">
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	61	last update at <!-- _GP_ when -->
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	62	</font>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	63	</td></tr>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	64	</table>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	65	</td>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	66	</tr>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	67
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	68	</table>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	69	</body>
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	70	</html>

author	huffman
	Fri, 11 Mar 2005 00:43:52 +0100
changeset 15601	2de79f493856
parent 15294	6b73cbe3460f
child 15932	2c351ab6c403
permissions	-rw-r--r--