isabelle: lib/html/library_index_header.template@7ba952481e29 (annotated)

25235 04cb7e02ca38 split library index into templates haftmann parents: diff changeset	1	<?xml version="1.0" encoding="iso-8859-1"?>
04cb7e02ca38 split library index into templates haftmann parents: diff changeset	2	<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
04cb7e02ca38 split library index into templates haftmann parents: diff changeset	3	"http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
04cb7e02ca38 split library index into templates haftmann parents: diff changeset	4	<!-- $Id$ -->
04cb7e02ca38 split library index into templates haftmann parents: diff changeset	5
04cb7e02ca38 split library index into templates haftmann parents: diff changeset	6	<html xmlns="http://www.w3.org/1999/xhtml">
04cb7e02ca38 split library index into templates haftmann parents: diff changeset	7	<head>
04cb7e02ca38 split library index into templates haftmann parents: diff changeset	8	<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
04cb7e02ca38 split library index into templates haftmann parents: diff changeset	9	<title>The {ISABELLE} Library</title>
04cb7e02ca38 split library index into templates haftmann parents: diff changeset	10	</head>
04cb7e02ca38 split library index into templates haftmann parents: diff changeset	11
04cb7e02ca38 split library index into templates haftmann parents: diff changeset	12	<body text="#000000" bgcolor="#FFFFFF" link="#0000FF" vlink="#000099" alink="#404040">
04cb7e02ca38 split library index into templates haftmann parents: diff changeset	13	<center>
04cb7e02ca38 split library index into templates haftmann parents: diff changeset	14	<table width="100%" border="0" cellspacing="10" cellpadding="0">
04cb7e02ca38 split library index into templates haftmann parents: diff changeset	15	<tr>
04cb7e02ca38 split library index into templates haftmann parents: diff changeset	16	<td width="20%" valign="middle" align="center"><a href="http://isabelle.in.tum.de/"><img align="bottom" src="isabelle.gif" width="100" height="86" alt="[Isabelle]" border="0" /></a></td>
04cb7e02ca38 split library index into templates haftmann parents: diff changeset	17
04cb7e02ca38 split library index into templates haftmann parents: diff changeset	18	<td width="80%" valign="middle" align="center">
04cb7e02ca38 split library index into templates haftmann parents: diff changeset	19	<table width="90%" border="0" cellspacing="0" cellpadding="20">
04cb7e02ca38 split library index into templates haftmann parents: diff changeset	20	<tr>
04cb7e02ca38 split library index into templates haftmann parents: diff changeset	21	<td valign="middle" align="center" bgcolor="#AACCCC"><font face="Helvetica,Arial" size="+2">The {ISABELLE} Library</font></td>
04cb7e02ca38 split library index into templates haftmann parents: diff changeset	22	</tr>
04cb7e02ca38 split library index into templates haftmann parents: diff changeset	23	</table>
04cb7e02ca38 split library index into templates haftmann parents: diff changeset	24	</td>
04cb7e02ca38 split library index into templates haftmann parents: diff changeset	25	</tr>
04cb7e02ca38 split library index into templates haftmann parents: diff changeset	26	</table>
04cb7e02ca38 split library index into templates haftmann parents: diff changeset	27	</center>
04cb7e02ca38 split library index into templates haftmann parents: diff changeset	28	<hr />

author	wenzelm
	Sat, 10 Jan 2009 13:10:07 +0100
changeset 29427	7ba952481e29
parent 25235	04cb7e02ca38
child 33686	8e33ca8832b1
permissions	-rw-r--r--