isabelle: lib/html/library_index_header.template@f0bc74b9161e (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
04cb7e02ca38 split library index into templates haftmann parents: diff changeset	5	<html xmlns="http://www.w3.org/1999/xhtml">
04cb7e02ca38 split library index into templates haftmann parents: diff changeset	6	<head>
04cb7e02ca38 split library index into templates haftmann parents: diff changeset	7	<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
04cb7e02ca38 split library index into templates haftmann parents: diff changeset	8	<title>The {ISABELLE} Library</title>
04cb7e02ca38 split library index into templates haftmann parents: diff changeset	9	</head>
04cb7e02ca38 split library index into templates haftmann parents: diff changeset	10
04cb7e02ca38 split library index into templates haftmann parents: diff changeset	11	<body text="#000000" bgcolor="#FFFFFF" link="#0000FF" vlink="#000099" alink="#404040">
04cb7e02ca38 split library index into templates haftmann parents: diff changeset	12	<center>
04cb7e02ca38 split library index into templates haftmann parents: diff changeset	13	<table width="100%" border="0" cellspacing="10" cellpadding="0">
04cb7e02ca38 split library index into templates haftmann parents: diff changeset	14	<tr>
04cb7e02ca38 split library index into templates haftmann parents: diff changeset	15	<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	16
04cb7e02ca38 split library index into templates haftmann parents: diff changeset	17	<td width="80%" valign="middle" align="center">
04cb7e02ca38 split library index into templates haftmann parents: diff changeset	18	<table width="90%" border="0" cellspacing="0" cellpadding="20">
04cb7e02ca38 split library index into templates haftmann parents: diff changeset	19	<tr>
04cb7e02ca38 split library index into templates haftmann parents: diff changeset	20	<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	21	</tr>
04cb7e02ca38 split library index into templates haftmann parents: diff changeset	22	</table>
04cb7e02ca38 split library index into templates haftmann parents: diff changeset	23	</td>
04cb7e02ca38 split library index into templates haftmann parents: diff changeset	24	</tr>
04cb7e02ca38 split library index into templates haftmann parents: diff changeset	25	</table>
04cb7e02ca38 split library index into templates haftmann parents: diff changeset	26	</center>
04cb7e02ca38 split library index into templates haftmann parents: diff changeset	27	<hr />

author	blanchet
	Mon, 22 Aug 2011 15:02:45 +0200
changeset 44402	f0bc74b9161e
parent 33686	8e33ca8832b1
permissions	-rw-r--r--