isabelle: lib/html/library_index_header.template@f7d4d023a899 (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	huffman
	Wed, 27 Oct 2010 11:10:36 -0700
changeset 40218	f7d4d023a899
parent 33686	8e33ca8832b1
permissions	-rw-r--r--